+reading symbolic information ...
+type Color = (RED, BLUE, GREEN);
+type ColorSet = set of Color;
+[1] stop in p
+[1] stopped in p at line 9
+ 9 begin
+stopped in p at line 10
+ 10 s := [RED, BLUE];
+p(s = []), line 10 in "sets.p"
+program(), line 14 in "sets.p"
+main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
+stopped in p at line 11
+ 11 end;
+[RED, BLUE]
+stopped in program at line 15
+ 15 if BLUE in s then begin
+stopped in program at line 16
+ 16 s := s - [BLUE];
+stopped in program at line 18
+ 18 end.
+program(), line 18 in "sets.p"
+main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
+[RED]
+