TAG: return from leave