Infrastructure to support LEAVE and friends.