(module Packed_map)