reading symbolic information ...
[1] stop at 10
[1] stopped in main at line 10
   10   }
(a = 0, s = 65535, b = 0) 
65535