use specialized IntMap instead of PMap