digraph cfg {
40982672[shape = box, label = "0x2715890\n"];
40982672 -> 40842144[label = "0"];
41045440[shape = box, label = "0x2724dc0\n"];
41045440 -> 41593136[label = "0"];
41277216[shape = box, label = "0x275d720\n"];
41277216 -> 40982672[label = "0"];
41593136[shape = box, label = "0x27aa930\n"];
41593136 -> 41277216[label = "0"];
40842144[shape = box, label = "EXIT"];
41039088[shape = box, label = "ENTER"];
41039088 -> 41045440[label = "0"];
}