I think you can use `subCounters.get(t.pc, 0);` and remove the `subCounters[t.pc] = 0;` initialization above. AFAICT this entire switch is in an infinite loop so maybe there will be some performance benefits.