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