reading symbolic information ... p.i p.nestedp.i nested.i p.j p.nestedp.j [1] stop at 18 [1] stopped in nestedp at line 18 18 j := i; p.k 6 4 3 3 4 stopped in nestedp at line 19 19 end; stopped in p at line 24 24 i := j; 3 6 3 execution completed 6