test_a_floatx80_z_float128
test_a_floatx80_z_float128( float128 ( floatx80 ), float128 ( floatx80 ) );
test_a_floatx80_z_float128(