digraph cfg {
38363984[shape = box, label = "0x2496350\n"];
38363984 -> 38885536[label = "0"];
38335840[shape = box, label = "0x248f560\n"];
38335840 -> 38363984[label = "0"];
38885536[shape = box, label = "EXIT"];
39326656[shape = box, label = "ENTER"];
39326656 -> 38335840[label = "0"];
}