Symbol: hsiphash_1u32