digraph cfg {
23839952[shape = box, label = "0x16bc4d0\n"];
23839952 -> 24147792[label = "0"];
23292320[shape = box, label = "0x16369a0\n"];
23292320 -> 23839952[label = "0"];
24147792[shape = box, label = "EXIT"];
23816768[shape = box, label = "ENTER"];
23816768 -> 23292320[label = "0"];
}