     assert(0);
   return x_nil;
 }
-
-x_any read_head(FILE*);
 
 x_any read_tail(FILE *infile) {
   x_any token;

  }
}

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

x_any read_cdr(FILE *infile) {
  x_any cdr;
  x_any token;

__managed__ x_any x_right;
__managed__ x_any x_eof;

__managed__ hash_table_type hash_table;

char* new_name(const char* name) {
  char *n;
