in Input input_int32_opt.txt