reading symbolic information ... (var parameter) a : IntArray; [1] stop at 12 [1] stopped in p at line 12 12 a[3] := i; (1, 2, 3, 4, 5, 6, 7, 8, 9, 10) 3 4 5 stopped in p at line 13 13 a[4] := j; stopped in p at line 14 14 end; stopped in program at line 21 21 b[BLUE] := 3; stopped in program at line 22 22 c := RED; program(), line 22 in "arrays.p" main(0x1, 0x7fffe7e4, 0x7fffe7ec) at 0xad (0, 3, 0) RED 3