Right now, we use 2 stack data structures and 3 counters. They could all be unified into a single one.
<rdar://problem/118975462>