digraph cfg {
24454288[shape = box, label = "0x1752490\n"];
24454288 -> 23340240[label = "0"];
23340240[shape = box, label = "0x16424d0\n"];
23340240 -> 23550560[label = "0"];
23550560[shape = box, label = "EXIT"];
23536960[shape = box, label = "ENTER"];
23536960 -> 24454288[label = "0"];
}