digraph cfg {
45937104[shape = box, label = "0x2bcf1d0\n"];
45937104 -> 45700240[label = "0"];
45937936[shape = box, label = "0x2bcf510\n"];
45937936 -> 45937104[label = "0"];
45700240[shape = box, label = "EXIT"];
46236144[shape = box, label = "ENTER"];
46236144 -> 45937936[label = "0"];
}