prog: fpu_lazy_eflags