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