digraph cfg {
28139648[shape = box, label = "0x1ad6080\n"];
28139648 -> 28127120[label = "0"];
28139392[shape = box, label = "0x1ad5f80\n"];
28139392 -> 28127120[label = "0"];
28139392 -> 28139648[label = "1"];
28127120[shape = box, label = "0x1ad2f90\n"];
28127120 -> 27623344[label = "0"];
28136896[shape = box, label = "0x1ad55c0\n"];
28136896 -> 28139392[label = "0"];
24429968[shape = box, label = "0x174c590\n"];
24429968 -> 28136896[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"];
}