digraph cfg {
52410576[shape = box, label = "0x31fb8d0\n"];
52410576 -> 50631984[label = "0"];
52410576 -> 52411120[label = "1"];
52410320[shape = box, label = "0x31fb7d0\n"];
52410320 -> 52410576[label = "0"];
46896224[shape = box, label = "ENTER"];
46896224 -> 50394848[label = "0"];
50632336[shape = box, label = "0x3049690\n"];
50632336 -> 52410320[label = "0"];
50568672[shape = box, label = "EXIT"];
52411120[shape = box, label = "0x31fbaf0\n"];
52411120 -> 50631984[label = "0"];
53578416[shape = box, label = "0x3318ab0\n"];
53578416 -> 47648208[label = "0"];
50394848[shape = box, label = "0x300f6e0\n"];
50394848 -> 50082048[label = "0"];
50082048[shape = box, label = "0x2fc3100\n"];
50082048 -> 46902448[label = "0"];
50631344[shape = box, label = "0x30492b0\n"];
50631344 -> 50081824[label = "0"];
46902448[shape = box, label = "0x2cbacb0\n"];
46902448 -> 53578416[label = "0"];
47648208[shape = box, label = "0x2d70dd0\n"];
47648208 -> 50081824[label = "0"];
47648208 -> 50631344[label = "1"];
50081824[shape = box, label = "0x2fc3020\n"];
50081824 -> 50632336[label = "0"];
50631984[shape = box, label = "0x3049530\n"];
50631984 -> 50568672[label = "0"];
}