digraph cfg {
39398640[shape = box, label = "0x2592cf0\n"];
39398640 -> 39251904[label = "0"];
40166848[shape = box, label = "0x264e5c0\n"];
40166848 -> 39398640[label = "0"];
40168496[shape = box, label = "0x264ec30\n"];
40168496 -> 40166848[label = "0"];
39251904[shape = box, label = "EXIT"];
39233184[shape = box, label = "ENTER"];
39233184 -> 40168496[label = "0"];
}