digraph cfg {
47648208[shape = box, label = "0x2d70dd0\n"];
47648208 -> 50394848[label = "0"];
46902256[shape = box, label = "0x2cbabf0\n"];
46902256 -> 47648208[label = "0"];
50568672[shape = box, label = "0x3039de0\n"];
50568672 -> 46902256[label = "0"];
50082016[shape = box, label = "0x2fc30e0\n"];
50082016 -> 50568672[label = "0"];
53578544[shape = box, label = "0x3318b30\n"];
53578544 -> 50082016[label = "0"];
50394848[shape = box, label = "EXIT"];
53578320[shape = box, label = "0x3318a50\n"];
53578320 -> 53578544[label = "0"];
46896128[shape = box, label = "ENTER"];
46896128 -> 53578320[label = "0"];
}