digraph cfg {
45706432[shape = box, label = "0x2b96cc0\n"];
45706432 -> 46036224[label = "0"];
45937104[shape = box, label = "0x2bcf1d0\n"];
45937104 -> 45706432[label = "0"];
46036672[shape = box, label = "0x2be76c0\n"];
46036672 -> 45700240[label = "0"];
45937936[shape = box, label = "0x2bcf510\n"];
45937936 -> 45937104[label = "0"];
46143232[shape = box, label = "0x2c01700\n"];
46143232 -> 45700240[label = "0"];
46142880[shape = box, label = "0x2c015a0\n"];
46142880 -> 46143232[label = "0"];
46142528[shape = box, label = "0x2c01440\n"];
46142528 -> 46036672[label = "0"];
46142528 -> 46142880[label = "1"];
46036224[shape = box, label = "0x2be7500\n"];
46036224 -> 46142528[label = "0"];
45700240[shape = box, label = "EXIT"];
46236144[shape = box, label = "ENTER"];
46236144 -> 45937936[label = "0"];
}