(module Core_hashtbl)