digraph cfg {
23760224[shape = box, label = "0x16a8d60\n"];
23760224 -> 24959120[label = "0"];
23552208[shape = box, label = "EXIT"];
24959120[shape = box, label = "0x17cd890\n"];
24959120 -> 23552208[label = "0"];
23614304[shape = box, label = "ENTER"];
23614304 -> 23760224[label = "0"];
}