1reading symbolic information ... 2[1] stop at 10 3[1] stopped in main at line 10 4 10 } 5(a = 0, s = 65535, b = 0) 665535 7 8