#ifndef DBX_FILE_H
#define DBX_FILE_H 1

char *try_open YARGS((char *file_name));
char *get_source_line YARGS((char *   file_name,
                             unsigned line_number));

void init_dbx_file YARGS((void));
void term_dbx_file YARGS((void));

#endif
