digraph cfg {
50568768[shape = box, label = "0x3039e40\n"];
50568768 -> 46902256[label = "0"];
50081824[shape = box, label = "0x2fc3020\n"];
50081824 -> 50082048[label = "0"];
50082048[shape = box, label = "0x2fc3100\n"];
50082048 -> 50568768[label = "0"];
46902256[shape = box, label = "EXIT"];
46896128[shape = box, label = "ENTER"];
46896128 -> 50081824[label = "0"];
}