syst_floatx80_eq
flag syst_floatx80_eq( floatx80, floatx80 );
test_ab_floatx80_z_flag( floatx80_eq, syst_floatx80_eq );