/* input.h */
#ifndef INPUT_H
#define INPUT_H
/* Input Interface */
void input_init(const char *filename);
int input_getc(void);
void input_ungetc(int c);
void input_destroy(void);

#endif