digraph cfg {
23958720[shape = box, label = "0x16d94c0\n"];
23958720 -> 23817584[label = "0"];
23958400[shape = box, label = "0x16d9380\n"];
23958400 -> 23958720[label = "0"];
23614688[shape = box, label = "0x16854e0\n"];
23614688 -> 23958400[label = "0"];
23817584[shape = box, label = "EXIT"];
23811424[shape = box, label = "ENTER"];
23811424 -> 23614688[label = "0"];
}