(decrement c1)
(decrement c1)
(decrement c0)
(decrement c1)
(decrement c0)
(increment c3)
(decrement c0)
(decrement c0)
; cost = 8 (unit cost)
