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