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