x: module
synmode aset = SET (stopped, moving);
DCL xyz aset;
xyz := moving;
xyz := SUCC (xyz);
END x;