test_a_int32_z_float128
void test_a_int32_z_float128( float128 ( int32 ), float128 ( int32 ) );
test_a_int32_z_float128( int32_to_float128, syst_int32_to_float128 );