digraph cfg {
40842240[shape = box, label = "0x26f3400\n"];
40842240 -> 41593040[label = "0"];
41277280[shape = box, label = "0x275d760\n"];
41277280 -> 40842240[label = "0"];
41593040[shape = box, label = "EXIT"];
41039088[shape = box, label = "ENTER"];
41039088 -> 41277280[label = "0"];
}