(module Hashtbl2_pair)