x: module

synmode aset = SET (stopped, moving);

DCL xyz aset;

xyz := moving;
xyz := SUCC (xyz);

END x;