I've looked at the history of HASH_TABLE and cannot find a trace of the change of values for the constants made by us. It seems to have originated from a misunderstanding between Eiffel Software's implementation at the time and the code we provided to the FreeELKS project on which EiffelBase is now built upon.

There are 2 solutions that I can see:
- revert the constants to their original value
- create a mismatch by adding another attribute. I could suggest renaming `hash_table_version_57' into `hash_table_version_57_bis' but then it would make it hard to recover those objects from the regular version of EiffelStudio as this would require changes in the `correct_mismatch' as well.