digraph cfg {
45388656[shape = box, label = "0x2b49370\n"];
45388656 -> 46552976[label = "0"];
46514304[shape = box, label = "0x2c5c080\n"];
46514304 -> 46505456[label = "0"];
46513952[shape = box, label = "0x2c5bf20\n"];
46513952 -> 46514304[label = "0"];
46503216[shape = box, label = "0x2c59530\n"];
46503216 -> 45388208[label = "0"];
45006768[shape = box, label = "0x2aebfb0\n"];
45006768 -> 46503216[label = "0"];
46504128[shape = box, label = "0x2c598c0\n"];
46504128 -> 45006768[label = "0"];
46552976[shape = box, label = "0x2c65790\n"];
46552976 -> 46513952[label = "0"];
45388208[shape = box, label = "0x2b491b0\n"];
45388208 -> 45388656[label = "0"];
46505456[shape = box, label = "EXIT"];
45000480[shape = box, label = "ENTER"];
45000480 -> 46504128[label = "0"];
}