(module Hashtbl2)