syst_floatx80_add
floatx80 syst_floatx80_add( floatx80, floatx80 );
test_abz_floatx80( floatx80_add, syst_floatx80_add );