digraph cfg {
39356352[shape = box, label = "0x25887c0\n"];
39356352 -> 38872736[label = "0"];
38407504[shape = box, label = "0x24a0d50\n"];
38407504 -> 39356352[label = "0"];
38527200[shape = box, label = "0x24be0e0\n"];
38527200 -> 38407504[label = "0"];
38526976[shape = box, label = "0x24be000\n"];
38526976 -> 38527200[label = "0"];
38872736[shape = box, label = "EXIT"];
38387024[shape = box, label = "0x249bd50\n"];
38387024 -> 38526976[label = "0"];
38380864[shape = box, label = "ENTER"];
38380864 -> 38387024[label = "0"];
}