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