test_a_float128_z_int32
void test_a_float128_z_int32( int32 ( float128 ), int32 ( float128 ) );
test_a_float128_z_int32( float128_to_int32, syst_float128_to_int32 );
test_a_float128_z_int32(