Symbol: leave_mm