// operators ; pred -1 + ; ; succ 1 + ;