/* scan.h: scanner header file */
void scan(char *s);