#define inc %1 := succ(%1)
#define dec %1 := pred(%1)