Adding exits even to procedures that never return.