digraph cfg {
24670736[shape = box, label = "0x1787210\n"];
24670736 -> 26017008[label = "0"];
24670288[shape = box, label = "0x1787050\n"];
24670288 -> 24670736[label = "0"];
26008352[shape = box, label = "0x18cdb20\n"];
26008352 -> 24529376[label = "0"];
24529376[shape = box, label = "0x17649e0\n"];
24529376 -> 24445728[label = "0"];
25392480[shape = box, label = "0x1837560\n"];
25392480 -> 26008352[label = "0"];
25391088[shape = box, label = "0x1836ff0\n"];
25391088 -> 25392480[label = "0"];
25934480[shape = box, label = "0x18bba90\n"];
25934480 -> 25391088[label = "0"];
26017008[shape = box, label = "EXIT"];
24445728[shape = box, label = "0x1750320\n"];
24445728 -> 24670288[label = "0"];
24508384[shape = box, label = "ENTER"];
24508384 -> 25934480[label = "0"];
}
