State modification: counters include value list length; list reversed.