syst_floatx80_le
flag syst_floatx80_le( floatx80, floatx80 );
test_ab_floatx80_z_flag( floatx80_le, syst_floatx80_le );