1*44157Sbosticreading symbolic information ... 2*44157Sbostictype Color = (RED, GREEN, BLUE); 3*44157Sbosticvar c1 : Color; 4*44157Sbostic[1] stop in P 5*44157Sbostic[1] stopped in P at line 8 6*44157Sbostic 8 begin 7*44157SbosticP(c = RED), line 8 in "enum.p" 8*44157Sbosticprogram(), line 15 in "enum.p" 9*44157Sbosticmain(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0x105 10*44157SbosticRED 11*44157SbosticBLUE GREEN 12