digraph cfg {
46827328[shape = box, label = "0x2ca8740\n"];
46827328 -> 44471488[label = "0"];
44471488[shape = box, label = "0x2a694c0\n"];
44471488 -> 45934960[label = "0"];
45160176[shape = box, label = "0x2b116f0\n"];
45160176 -> 46827328[label = "0"];
45934960[shape = box, label = "EXIT"];
44451056[shape = box, label = "ENTER"];
44451056 -> 45160176[label = "0"];
}