digraph cfg {
22571712[shape = box, label = "0x1586ac0\n"];
22571712 -> 22226256[label = "0"];
22260000[shape = box, label = "0x153a920\n"];
22260000 -> 22571712[label = "0"];
22226256[shape = box, label = "EXIT"];
24120368[shape = box, label = "ENTER"];
24120368 -> 22260000[label = "0"];
}