Hash table doubling and other things