reading symbolic information ...
struct {
    int first;
    int second;
    int a : 8;
    int b : 8;
    int c;
} x;
int a : 8;
[1] stop at 31
[1] stopped in main at line 31
   31       printf("done\n");
(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) 
63 1 1 
[3] stop at 50
[3] stopped in oldmain at line 50
   50   }
(first = 0, second = 0, a = 2, b = 10, c = 1) 
2 
10 
1