Change hash_64() return value to 32 bits