digraph cfg {
38526976[shape = box, label = "0x24be000\n"];
38526976 -> 38387024[label = "0"];
38644880[shape = box, label = "0x24dac90\n"];
38644880 -> 38872736[label = "0"];
39356448[shape = box, label = "0x2588820\n"];
39356448 -> 38526976[label = "0"];
38407632[shape = box, label = "0x24a0dd0\n"];
38407632 -> 39356448[label = "0"];
38407408[shape = box, label = "0x24a0cf0\n"];
38407408 -> 38407632[label = "0"];
38643424[shape = box, label = "0x24da6e0\n"];
38643424 -> 38407408[label = "0"];
38872736[shape = box, label = "EXIT"];
38387024[shape = box, label = "0x249bd50\n"];
38387024 -> 38644880[label = "0"];
38380864[shape = box, label = "ENTER"];
38380864 -> 38643424[label = "0"];
}