 __managed__ x_any x_right;
 __managed__ x_any x_eof;
 
+__managed__ hash_table_type hash_table;
 
 char* new_name(const char* name) {
   char *n;

  }
}

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

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

  flags(cell) = TOKEN;
  return cell;
}

int hash(const char *name) {
  int value = 0;
