1reading symbolic information ... 2[1] stop at 6 3[1] stopped in program at line 6 4 6 write(output, a); 5'blah ' 6'xlah ' 7'xyzzy' 8xyzzyexecution completed 9'xyzzy' 10 11