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