added hash_int.h