Symbol: writeInput_a_int32