(module BatIMap)