digraph cfg {
47988288[shape = box, label = "0x2dc3e40\n"];
47988288 -> 48008448[label = "0"];
47988288 -> 49457808[label = "1"];
48985808[shape = box, label = "0x2eb76d0\n"];
48985808 -> 48729856[label = "0"];
47988064[shape = box, label = "0x2dc3d60\n"];
47988064 -> 47988288[label = "0"];
48985072[shape = box, label = "0x2eb73f0\n"];
48985072 -> 48729856[label = "0"];
49457808[shape = box, label = "0x2f2aa90\n"];
49457808 -> 48985072[label = "0"];
48008448[shape = box, label = "0x2dc8d00\n"];
48008448 -> 48985808[label = "0"];
48128016[shape = box, label = "0x2de6010\n"];
48128016 -> 47988064[label = "0"];
48729856[shape = box, label = "EXIT"];
48729312[shape = box, label = "ENTER"];
48729312 -> 48128016[label = "0"];
}