(module Weak_hashtbl)