digraph cfg {
25255200[shape = box, label = "0x1815d20\n"];
25255200 -> 25332016[label = "0"];
25337568[shape = box, label = "0x1829ee0\n"];
25337568 -> 25309120[label = "0"];
25442608[shape = box, label = "0x1843930\n"];
25442608 -> 25337568[label = "0"];
25441856[shape = box, label = "0x1843640\n"];
25441856 -> 25442608[label = "0"];
25332016[shape = box, label = "EXIT"];
25309472[shape = box, label = "0x1823120\n"];
25309472 -> 25255200[label = "0"];
25309120[shape = box, label = "0x1822fc0\n"];
25309120 -> 25309472[label = "0"];
25358224[shape = box, label = "ENTER"];
25358224 -> 25441856[label = "0"];
}