let sok x = string_of_int (Hashtbl.hash x)