Fix a memory leak that shows up in switch-memory.cpp (in the constant case).
Squeeze the memory by storing three counters in a single 32-bit number.