hashing, aseq, and a bunch of helper fns