digraph cfg {
39658704[shape = box, label = "0x25d24d0\n"];
39658704 -> 39855424[label = "0"];
39871328[shape = box, label = "0x2606360\n"];
39871328 -> 39658704[label = "0"];
39855424[shape = box, label = "EXIT"];
40336352[shape = box, label = "ENTER"];
40336352 -> 39871328[label = "0"];
}