digraph cfg {
39694384[shape = box, label = "0x25db030\n"];
39694384 -> 39804640[label = "0"];
39714496[shape = box, label = "0x25dfec0\n"];
39714496 -> 39694384[label = "0"];
39804640[shape = box, label = "EXIT"];
39688672[shape = box, label = "ENTER"];
39688672 -> 39714496[label = "0"];
}