syst_float32_le
flag syst_float32_le( float32, float32 );
test_ab_float32_z_flag( float32_le, syst_float32_le );