loop exit detection