WIP. Incr proc and decr proc are working