digraph cfg {
40842272[shape = box, label = "0x26f3420\n"];
40842272 -> 41593136[label = "0"];
41045312[shape = box, label = "EXIT"];
41593136[shape = box, label = "0x27aa930\n"];
41593136 -> 41045312[label = "0"];
41039088[shape = box, label = "ENTER"];
41039088 -> 40842272[label = "0"];
}