digraph cfg {
39917168[shape = box, label = "0x2611670\n"];
39917168 -> 38846240[label = "0"];
38872672[shape = box, label = "0x2512660\n"];
38872672 -> 39917168[label = "0"];
38846240[shape = box, label = "EXIT"];
38847984[shape = box, label = "ENTER"];
38847984 -> 38872672[label = "0"];
}