VAR a[20]
SPEC AG !( a = dec(a))
