hashtbl.c