db_get_current_file
extern char *db_get_current_file(void);
char *file = db_get_current_file();
symtab_set_errval(name, line, db_get_current_file(), "int", "int", 0);
char *file = db_get_current_file();