extern FILE * db_file_open(char * db_file);
extern void extend_ht(char * name);
extern FILE * ht_file_open(char * fname, char * aname, char * name);
extern FILE * temp_file_open(char * temp_db_file);
