digraph cfg {
51832720[shape = box, label = "0x316e790\n"];
51832720 -> 52489776[label = "0"];
51831984[shape = box, label = "0x316e4b0\n"];
51831984 -> 52489776[label = "0"];
51831440[shape = box, label = "0x316e290\n"];
51831440 -> 51494832[label = "0"];
51831440 -> 51831984[label = "1"];
51495184[shape = box, label = "0x311c110\n"];
51495184 -> 51495728[label = "0"];
51495728[shape = box, label = "0x311c330\n"];
51495728 -> 51496080[label = "0"];
51496832[shape = box, label = "ENTER"];
51496832 -> 51508784[label = "0"];
51668080[shape = box, label = "0x3146470\n"];
51668080 -> 51668336[label = "0"];
51494192[shape = box, label = "0x311bd30\n"];
51494192 -> 51495184[label = "0"];
52489776[shape = box, label = "EXIT"];
51508784[shape = box, label = "0x311f630\n"];
51508784 -> 51649168[label = "0"];
51496080[shape = box, label = "0x311c490\n"];
51496080 -> 51831440[label = "0"];
51649168[shape = box, label = "0x3141a90\n"];
51649168 -> 51668080[label = "0"];
52495632[shape = box, label = "0x3210510\n"];
52495632 -> 51493936[label = "0"];
51493936[shape = box, label = "0x311bc30\n"];
51493936 -> 51494192[label = "0"];
51668336[shape = box, label = "0x3146570\n"];
51668336 -> 52495632[label = "0"];
51494832[shape = box, label = "0x311bfb0\n"];
51494832 -> 51832720[label = "0"];
}