in Input4 input4.txt
param $begin p_int32.json