Implement the hashCode() method for persistent maps.  Both this functions and the equals() function will run in parallel.