(increment c3)
(decrement c0)
(increment c3)
(increment c2)
(increment c3)
(decrement c0)
(increment c3)
(increment c2)
(increment c3)
(decrement c0)
(increment c3)
(increment c2)
; cost = 12 (unit cost)
