char* pretty_type(int);

void debug_print(int, union YYSTYPE*);

int yyerror(char*);