/* do_labels.c */
int initialize_options(void);
int do_labels(FILE *, int);
int show_it(void);
int scan_ref(char *);