test_a_int64_z_float32
void test_a_int64_z_float32( float32 ( int64 ), float32 ( int64 ) );
test_a_int64_z_float32( int64_to_float32, syst_int64_to_float32 );