digraph cfg {
34552432[shape = box, label = "0x20f3a70\n"];
34552432 -> 34555280[label = "0"];
34551888[shape = box, label = "0x20f3850\n"];
34551888 -> 34555280[label = "0"];
35725136[shape = box, label = "0x2211f50\n"];
35725136 -> 34552432[label = "0"];
35725136 -> 34551888[label = "1"];
35724784[shape = box, label = "0x2211df0\n"];
35724784 -> 35725136[label = "0"];
34700640[shape = box, label = "0x2117d60\n"];
34700640 -> 35724784[label = "0"];
34555280[shape = box, label = "EXIT"];
34554720[shape = box, label = "0x20f4360\n"];
34554720 -> 34856128[label = "0"];
34553632[shape = box, label = "0x20f3f20\n"];
34553632 -> 34700864[label = "0"];
34546640[shape = box, label = "ENTER"];
34546640 -> 34554720[label = "0"];
34856128[shape = box, label = "0x213dcc0\n"];
34856128 -> 34700864[label = "0"];
35724528[shape = box, label = "0x2211cf0\n"];
35724528 -> 34555280[label = "0"];
34562384[shape = box, label = "0x20f6150\n"];
34562384 -> 34492512[label = "0"];
34492512[shape = box, label = "0x20e5060\n"];
34492512 -> 34700640[label = "0"];
34492512 -> 34553632[label = "1"];
34700864[shape = box, label = "0x2117e40\n"];
34700864 -> 34701264[label = "0"];
34701264[shape = box, label = "0x2117fd0\n"];
34701264 -> 34560848[label = "0"];
34560848[shape = box, label = "0x20f5b50\n"];
34560848 -> 34562384[label = "0"];
}