SATS/lib/cyclic-hash/hash