if flags & OF:
      yield assign_t(self.of.copy(), overflow_t(self.eflags_expr.copy()))