Symbol: writeInput_a_float128