in Input input_int32_string.txt