1reading symbolic information ... 2struct { 3 int first; 4 int second; 5 int a : 8; 6 int b : 8; 7 int c; 8} x; 9int a : 8; 10[1] stop at 31 11[1] stopped in main at line 31 12 31 printf("done\n"); 13(cost = 0, type = 0, dirToCenter = 0, pad = 0, pin = 0, traceback = 0, traceforward = 0, expanded = 0, underDir = 0, underOffset = 0, start = 0, target = 0, owner = 63, segment = 1, intrinsicCost = 1) 1463 1 1 15[3] stop at 50 16[3] stopped in oldmain at line 50 17 50 } 18(first = 0, second = 0, a = 2, b = 10, c = 1) 192 2010 211 22 23