digraph cfg {
22889888[shape = box, label = "0x15d45a0\n"];
22889888 -> 22197536[label = "0"];
22394176[shape = box, label = "0x155b540\n"];
22394176 -> 22889888[label = "0"];
22197536[shape = box, label = "EXIT"];
22317984[shape = box, label = "ENTER"];
22317984 -> 22394176[label = "0"];
}