Use IntMap instead of Map