fcsr_fflags_write
return fcsr_fflags_write(mask);
fcsr_fflags_write(fcsr_fflags_read() | excepts);
fcsr_fflags_write(fflags);
fcsr_fflags_write(0);