digraph cfg {
22838688[shape = box, label = "0x15c7da0\n"];
22838688 -> 19369456[label = "0"];
22026544[shape = box, label = "0x1501930\n"];
22026544 -> 22837792[label = "0"];
18557776[shape = box, label = "0x11b2b50\n"];
18557776 -> 18558032[label = "0"];
22838240[shape = box, label = "0x15c7be0\n"];
22838240 -> 22838688[label = "0"];
19369456[shape = box, label = "0x1278df0\n"];
19369456 -> 18623472[label = "0"];
18759136[shape = box, label = "0x11e3de0\n"];
18759136 -> 18557776[label = "0"];
22837792[shape = box, label = "0x15c7a20\n"];
22837792 -> 22838240[label = "0"];
18623472[shape = box, label = "EXIT"];
18558032[shape = box, label = "0x11b2c50\n"];
18558032 -> 19369456[label = "0"];
18558032 -> 22026544[label = "1"];
18617344[shape = box, label = "ENTER"];
18617344 -> 18759136[label = "0"];
}