   x_any token;
 
   cdr = read_sexpr(infile);
-  token = read_atom(infile);
+  token = read_token(infile);
 
   if (token == x_right)
     return cdr;

  return cell;
}

/* This is the lisp tokenizer; it returns a symbol, or one of `(', `)', `.', or EOF */
x_any read_atom(FILE *infile)
{
  int c;
  static char buf[MAX_NAME_LEN];

    *ptr++ = c;
    while ((c = getc(infile)) != EOF && !isspace(c) && c != '(' && c != ')')
      *ptr++ = c;
    if (c != EOF)
      ungetc(c, infile);
    *ptr = '\0';
