digraph cfg {
38379984[shape = box, label = "0x249a1d0\n"];
38379984 -> 35697360[label = "0"];
35474512[shape = box, label = "0x21d4c50\n"];
35474512 -> 38379984[label = "0"];
35778112[shape = box, label = "0x221ee40\n"];
35778112 -> 35697360[label = "0"];
35778112 -> 35932912[label = "1"];
38343808[shape = box, label = "0x2491480\n"];
38343808 -> 35778112[label = "0"];
35778848[shape = box, label = "0x221f120\n"];
35778848 -> 35474512[label = "0"];
35697360[shape = box, label = "0x220b2d0\n"];
35697360 -> 35540240[label = "0"];
35932912[shape = box, label = "0x2244af0\n"];
35932912 -> 35778848[label = "0"];
35697072[shape = box, label = "0x220b1b0\n"];
35697072 -> 38343808[label = "0"];
35540240[shape = box, label = "EXIT"];
35534080[shape = box, label = "ENTER"];
35534080 -> 35697072[label = "0"];
}