digraph cfg {
46902480[shape = box, label = "0x2cbacd0\n"];
46902480 -> 50394944[label = "0"];
46902256[shape = box, label = "0x2cbabf0\n"];
46902256 -> 46902480[label = "0"];
50568576[shape = box, label = "0x3039d80\n"];
50568576 -> 46902256[label = "0"];
50394944[shape = box, label = "EXIT"];
46896224[shape = box, label = "ENTER"];
46896224 -> 50568576[label = "0"];
}