Edit: hashtab.h