digraph cfg {
24223408[shape = box, label = "0x1719eb0\n"];
24223408 -> 27984976[label = "0"];
27983584[shape = box, label = "0x1aafee0\n"];
27983584 -> 24223408[label = "0"];
27985200[shape = box, label = "0x1ab0530\n"];
27985200 -> 27983584[label = "0"];
27984976[shape = box, label = "EXIT"];
23477232[shape = box, label = "ENTER"];
23477232 -> 27985200[label = "0"];
}