digraph cfg {
22787296[shape = box, label = "0x15bb4e0\n"];
22787296 -> 22984032[label = "0"];
23423040[shape = box, label = "0x1656840\n"];
23423040 -> 22787296[label = "0"];
22984032[shape = box, label = "EXIT"];
23336160[shape = box, label = "ENTER"];
23336160 -> 23423040[label = "0"];
}