digraph cfg {
45706432[shape = box, label = "0x2b96cc0\n"];
45706432 -> 45700240[label = "0"];
45700240[shape = box, label = "EXIT"];
45937104[shape = box, label = "0x2bcf1d0\n"];
45937104 -> 45706432[label = "0"];
45700912[shape = box, label = "ENTER"];
45700912 -> 45937104[label = "0"];
}