fpgetmask
msk = fpgetmask();
ATF_CHECK((fpgetmask() & lst[i]) != 0);
ATF_CHECK((fpgetmask() & lst[i]) == 0);
extern fp_except_t fpgetmask(void);
extern fp_except_t fpgetmask(void);
extern fp_except_t fpgetmask(void);
extern fp_except_t fpgetmask(void);
extern fp_except_t fpgetmask(void);