rename EXIT to LEAVE for clarity