digraph cfg {
50081920[shape = box, label = "0x2fc3080\n"];
50081920 -> 53578320[label = "0"];
46902480[shape = box, label = "0x2cbacd0\n"];
46902480 -> 50631344[label = "0"];
50631344[shape = box, label = "0x30492b0\n"];
50631344 -> 50568576[label = "0"];
46902256[shape = box, label = "0x2cbabf0\n"];
46902256 -> 50395040[label = "0"];
47648208[shape = box, label = "0x2d70dd0\n"];
47648208 -> 50568576[label = "0"];
50395040[shape = box, label = "0x300f7a0\n"];
50395040 -> 50081920[label = "0"];
50568576[shape = box, label = "EXIT"];
53578320[shape = box, label = "0x3318a50\n"];
53578320 -> 46902480[label = "0"];
53578320 -> 47648208[label = "1"];
46896128[shape = box, label = "ENTER"];
46896128 -> 46902256[label = "0"];
}