digraph cfg {
23690736[shape = box, label = "0x1697df0\n"];
23690736 -> 22876416[label = "0"];
23080416[shape = box, label = "0x1602de0\n"];
23080416 -> 23690736[label = "0"];
24429968[shape = box, label = "0x174c590\n"];
24429968 -> 27623344[label = "0"];
22876416[shape = box, label = "EXIT"];
27623344[shape = box, label = "0x1a57fb0\n"];
27623344 -> 23080416[label = "0"];
22939280[shape = box, label = "ENTER"];
22939280 -> 24429968[label = "0"];
}