Update hashing.h