digraph cfg {
39356352[shape = box, label = "0x25887c0\n"];
39356352 -> 38407408[label = "0"];
38387120[shape = box, label = "0x249bdb0\n"];
38387120 -> 39356352[label = "0"];
38527200[shape = box, label = "0x24be0e0\n"];
38527200 -> 38387120[label = "0"];
38526976[shape = box, label = "0x24be000\n"];
38526976 -> 38527200[label = "0"];
38407408[shape = box, label = "0x24a0cf0\n"];
38407408 -> 38872736[label = "0"];
38643424[shape = box, label = "0x24da6e0\n"];
38643424 -> 38526976[label = "0"];
38872736[shape = box, label = "EXIT"];
38380864[shape = box, label = "ENTER"];
38380864 -> 38643424[label = "0"];
}