some "benchmarking" for the hashing functions (print
hashconsing statistics)