digraph cfg {
46516128[shape = box, label = "0x2c5c7a0\n"];
46516128 -> 46503152[label = "0"];
46515680[shape = box, label = "0x2c5c5e0\n"];
46515680 -> 46516128[label = "0"];
45388432[shape = box, label = "0x2b49290\n"];
45388432 -> 46515680[label = "0"];
45006768[shape = box, label = "0x2aebfb0\n"];
45006768 -> 45388432[label = "0"];
46505552[shape = box, label = "0x2c59e50\n"];
46505552 -> 45006768[label = "0"];
46504128[shape = box, label = "0x2c598c0\n"];
46504128 -> 46505552[label = "0"];
46503152[shape = box, label = "EXIT"];
45000480[shape = box, label = "ENTER"];
45000480 -> 46504128[label = "0"];
}