digraph cfg {
46515808[shape = box, label = "0x2c5c660\n"];
46515808 -> 46503152[label = "0"];
46514496[shape = box, label = "0x2c5c140\n"];
46514496 -> 46515808[label = "0"];
46513952[shape = box, label = "0x2c5bf20\n"];
46513952 -> 46514496[label = "0"];
45388432[shape = box, label = "0x2b49290\n"];
45388432 -> 46513952[label = "0"];
46504096[shape = box, label = "0x2c598a0\n"];
46504096 -> 45388432[label = "0"];
45006768[shape = box, label = "0x2aebfb0\n"];
45006768 -> 46504096[label = "0"];
46505584[shape = box, label = "0x2c59e70\n"];
46505584 -> 45006768[label = "0"];
46503152[shape = box, label = "EXIT"];
45000480[shape = box, label = "ENTER"];
45000480 -> 46505584[label = "0"];
}