digraph cfg {
20905568[shape = box, label = "0x13efe60\n"];
20905568 -> 19313664[label = "0"];
20904384[shape = box, label = "0x13ef9c0\n"];
20904384 -> 20904736[label = "0"];
20904032[shape = box, label = "0x13ef860\n"];
20904032 -> 20903776[label = "0"];
20904032 -> 20904384[label = "1"];
20903776[shape = box, label = "0x13ef760\n"];
20903776 -> 20905568[label = "0"];
19311808[shape = box, label = "0x126acc0\n"];
19311808 -> 19312160[label = "0"];
19312512[shape = box, label = "0x126af80\n"];
19312512 -> 20904032[label = "0"];
20524336[shape = box, label = "0x1392d30\n"];
20524336 -> 20524880[label = "0"];
19117232[shape = box, label = "ENTER"];
19117232 -> 19459872[label = "0"];
19313664[shape = box, label = "EXIT"];
20641584[shape = box, label = "0x13af730\n"];
20641584 -> 20642032[label = "0"];
19459872[shape = box, label = "0x128ef20\n"];
19459872 -> 19324176[label = "0"];
20904736[shape = box, label = "0x13efb20\n"];
20904736 -> 20903776[label = "0"];
19324176[shape = box, label = "0x126dd10\n"];
19324176 -> 19257488[label = "0"];
19257264[shape = box, label = "0x125d7b0\n"];
19257264 -> 19311808[label = "0"];
20642032[shape = box, label = "0x13af8f0\n"];
20642032 -> 20929984[label = "0"];
20524880[shape = box, label = "0x1392f50\n"];
20524880 -> 19257264[label = "0"];
19257488[shape = box, label = "0x125d890\n"];
19257488 -> 20641584[label = "0"];
19312160[shape = box, label = "0x126ae20\n"];
19312160 -> 19312512[label = "0"];
20523984[shape = box, label = "0x1392bd0\n"];
20523984 -> 20524336[label = "0"];
20929984[shape = box, label = "0x13f5dc0\n"];
20929984 -> 19257264[label = "0"];
20929984 -> 20523984[label = "1"];
}