digraph cfg {
33594848[shape = box, label = "0x2009de0\n"];
33594848 -> 33453152[label = "0"];
35199120[shape = box, label = "0x2191890\n"];
35199120 -> 36647728[label = "0"];
36960576[shape = box, label = "0x233f940\n"];
36960576 -> 33594848[label = "0"];
36938608[shape = box, label = "0x233a370\n"];
36938608 -> 35199120[label = "0"];
36938608 -> 36960576[label = "1"];
33923504[shape = box, label = "0x205a1b0\n"];
33923504 -> 36938608[label = "0"];
36647728[shape = box, label = "0x22f3330\n"];
36647728 -> 33594848[label = "0"];
33453152[shape = box, label = "EXIT"];
33453616[shape = box, label = "ENTER"];
33453616 -> 33923504[label = "0"];
}