let pp_hash_dim h = function 
         | None -> h * 731 
         | Some d -> h * 731 + d * 27