void do_directive(FILE *, int, char *);
void handle_directive(FILE*, char*, char*);