Using LEAVE to exit a loop