hashtable header and mutex.c