Use int[] instead of IntIntMap