test_a_int64_z_float128
void test_a_int64_z_float128( float128 ( int64 ), float128 ( int64 ) );
test_a_int64_z_float128( int64_to_float128, syst_int64_to_float128 );