digraph cfg {
45390672[shape = box, label = "0x2b49b50\n"];
45390672 -> 45384544[label = "0"];
45545120[shape = box, label = "0x2b6f6a0\n"];
45545120 -> 45390672[label = "0"];
46355264[shape = box, label = "0x2c35340\n"];
46355264 -> 45545120[label = "0"];
45629296[shape = box, label = "0x2b83f70\n"];
45629296 -> 46355264[label = "0"];
45384544[shape = box, label = "EXIT"];
45629056[shape = box, label = "ENTER"];
45629056 -> 45629296[label = "0"];
}