1 2 3 4 5 6 7 8 9 10
x: module synmode aset = SET (stopped, moving); DCL xyz aset; xyz := moving; xyz := SUCC (xyz); END x;