test_a_float64_z_int32
void test_a_float64_z_int32( int32 ( float64 ), int32 ( float64 ) );
test_a_float64_z_int32( float64_to_int32, syst_float64_to_int32 );
test_a_float64_z_int32(