Symbol: writeInput_a_float32