cleanup Leaving::after_returning_op system