test_a_float128_z_int64
void test_a_float128_z_int64( int64 ( float128 ), int64 ( float128 ) );
test_a_float128_z_int64( float128_to_int64, syst_float128_to_int64 );
test_a_float128_z_int64(