digraph cfg {
24714992[shape = box, label = "0x1791ef0\n"];
24714992 -> 24856000[label = "0"];
24856352[shape = box, label = "0x17b4720\n"];
24856352 -> 25046848[label = "0"];
24856000[shape = box, label = "0x17b45c0\n"];
24856000 -> 24856352[label = "0"];
26155760[shape = box, label = "0x18f1af0\n"];
26155760 -> 24714992[label = "0"];
25046848[shape = box, label = "EXIT"];
24708896[shape = box, label = "ENTER"];
24708896 -> 26155760[label = "0"];
}