(module Datatype.String.Hashtbl)