Adding stdint.h to hasht.c for uint32_t