1extern FILE *yyin;
2extern void set_yyin(FILE *f, const conststring name);
3extern conststring get_yyin_name(void);
4extern void include_file(FILE *f, const conststring name);
5extern void set_cdata_element(const conststring e);
6