digraph cfg {
47648208[shape = box, label = "0x2d70dd0\n"];
47648208 -> 53578320[label = "0"];
50394848[shape = box, label = "0x300f6e0\n"];
50394848 -> 47648208[label = "0"];
46902352[shape = box, label = "0x2cbac50\n"];
46902352 -> 47648208[label = "0"];
50568768[shape = box, label = "0x3039e40\n"];
50568768 -> 50394848[label = "0"];
50568768 -> 46902352[label = "1"];
50082048[shape = box, label = "0x2fc3100\n"];
50082048 -> 50568768[label = "0"];
50081824[shape = box, label = "0x2fc3020\n"];
50081824 -> 50082048[label = "0"];
53578320[shape = box, label = "EXIT"];
46896128[shape = box, label = "ENTER"];
46896128 -> 50081824[label = "0"];
}