(module Pooled_hashtbl)