terminate when we've lexed everything