Use data types defined in hash.h