* Change PARSE-TOKEN-FROM-STREAM and READ-TOKEN not to cons up a new