digraph cfg {
23320512[shape = box, label = "0x163d7c0\n"];
23320512 -> 23322992[label = "0"];
23322992[shape = box, label = "EXIT"];
22379856[shape = box, label = "0x1557d50\n"];
22379856 -> 23320512[label = "0"];
22373696[shape = box, label = "ENTER"];
22373696 -> 22379856[label = "0"];
}