digraph cfg {
22514672[shape = box, label = "0x1578bf0\n"];
22514672 -> 22330656[label = "0"];
22330656[shape = box, label = "0x154bd20\n"];
22330656 -> 22310240[label = "0"];
22310240[shape = box, label = "EXIT"];
22299968[shape = box, label = "ENTER"];
22299968 -> 22514672[label = "0"];
}