Experiments of using hash functions (à la Java hashCode) and Gödel hashing in OCaml