digraph cfg {
47648336[shape = box, label = "0x2d70e50\n"];
47648336 -> 53578416[label = "0"];
50568768[shape = box, label = "0x3039e40\n"];
50568768 -> 47648336[label = "0"];
50395040[shape = box, label = "0x300f7a0\n"];
50395040 -> 50568768[label = "0"];
46902480[shape = box, label = "0x2cbacd0\n"];
46902480 -> 50395040[label = "0"];
46902256[shape = box, label = "0x2cbabf0\n"];
46902256 -> 46902480[label = "0"];
50081824[shape = box, label = "0x2fc3020\n"];
50081824 -> 46902256[label = "0"];
53578416[shape = box, label = "EXIT"];
46896224[shape = box, label = "ENTER"];
46896224 -> 50081824[label = "0"];
}