extern void set_lex_nrm(void);
extern void set_lex_flush(void);
extern void copy_in(char **, const char *);
extern int lex_input(void);