digraph cfg {
22967504[shape = box, label = "0x15e74d0\n"];
22967504 -> 23164224[label = "0"];
23173536[shape = box, label = "0x16199a0\n"];
23173536 -> 22967504[label = "0"];
23164224[shape = box, label = "EXIT"];
23088032[shape = box, label = "ENTER"];
23088032 -> 23173536[label = "0"];
}