INC(v: INTEGER)
INC(v, n: INTEGER)
v := v + 1
v := v + n
Other regular proper procedures: ASSERT DEC EXCL INCL NEW PACK UNPK