test_a_int32_z_float32
void test_a_int32_z_float32( float32 ( int32 ), float32 ( int32 ) );
test_a_int32_z_float32( int32_to_float32, syst_int32_to_float32 );