extern void read_a_source_file (char *name);
extern void read_begin (void);
extern void read_print_statistics (FILE *);
+extern char *read_symbol_name (void);
extern int sizeof_leb128 (valueT, int sign);
extern void stabs_generate_asm_file (void);
extern void stabs_generate_asm_lineno (void);