void print_token_type(FILE *out, token_type_t token_type);
void print_token(FILE *out, const token_t *token);
+symbol_t *get_token_symbol(const token_t *token);
+
void print_pp_token_type(FILE *out, int type);
void print_pp_token(FILE *out, const token_t *token);