6 void init_preprocessor(void);
8 void exit_preprocessor(void);
10 /** Switch input to another file. The current token is not changed. */
11 void switch_input(FILE *file, char const *filename);
13 FILE* close_input(void);
15 void next_preprocessing_token(void);
17 string_t make_string(char const *string);
19 extern bool allow_dollar_in_symbol;
20 extern token_t pp_token;