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

{
  x_any token;

  token = ratom(infile);
  if (is_symbol(token) || is_builtin(token))
    return token;
  if (token == x_left)

  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) {
