digraph cfg {
34562384[shape = box, label = "0x20f6150\n"];
34562384 -> 35465648[label = "0"];
34856128[shape = box, label = "0x213dcc0\n"];
34856128 -> 34856352[label = "0"];
34856352[shape = box, label = "0x213dda0\n"];
34856352 -> 34562384[label = "0"];
34856352 -> 34700832[label = "1"];
34560848[shape = box, label = "0x20f5b50\n"];
34560848 -> 35465648[label = "0"];
34554720[shape = box, label = "0x20f4360\n"];
34554720 -> 34856128[label = "0"];
35465648[shape = box, label = "EXIT"];
34700832[shape = box, label = "0x2117e20\n"];
34700832 -> 35465648[label = "0"];
34555280[shape = box, label = "ENTER"];
34555280 -> 34554720[label = "0"];
}