writeInput_a_float128
writeInput_a_float128();
writeInput_a_float128();
writeInput_a_float128();
writeInput_a_float128();
writeInput_a_float128();
writeInput_a_float128();