1reading symbolic information ...
2type Color = (RED, GREEN, BLUE);
3var c1 : Color;
4[1] stop in P
5[1] stopped in P at line 8
6 8 begin
7P(c = RED), line 8 in "enum.p"
8program(), line 15 in "enum.p"
9main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0x105
10RED
11BLUE GREEN
12