test_a_floatx80_z_float32
void test_a_floatx80_z_float32( float32 ( floatx80 ), float32 ( floatx80 ) );
test_a_floatx80_z_float32(