1 2 3 4 5 6 7 8
MODULE setunknown ; VAR set: SET OF [0..7] ; BEGIN INCL (set, unknownVariable) END setunknown.