test_a_int32_z_float64
void test_a_int32_z_float64( float64 ( int32 ), float64 ( int32 ) );
test_a_int32_z_float64( int32_to_float64, syst_int32_to_float64 );