/* io.h */

#define errfile stdout

extern int already_got_next_char;

void init_input_system(void);
char nextchar(void);
void set_file_name(char *s);
void translate_end_of_line_to(char c);
void abandon_rest_of_input_line(void);
void include_file(char *name);
void register_symbol_start();
void syntax_error(char *s);
int current_line_number(void);
char *current_file_name(void);