   x_any token;
   x_any temp;
 
-  token = read_atom(infile);
+  token = read_token(infile);
 
   if (is_symbol(token) || is_builtin(token))
     return x_cons(token, read_tail(infile));

  x_any token;
  x_any temp;

  token = read_atom(infile);
  if (is_symbol(token) || is_builtin(token))
    return x_cons(token, read_tail(infile));
  if (token == x_left) {

}

x_any read_sexpr(FILE*);
x_any read_token(FILE*);

x_any read_cdr(FILE *infile)
{
