(Same thing about hashing and overhead as above.)