digraph cfg {
34458592[shape = box, label = "0x20dcbe0\n"];
34458592 -> 37924528[label = "0"];
37924528[shape = box, label = "0x242aeb0\n"];
37924528 -> 37952992[label = "0"];
35085824[shape = box, label = "0x2175e00\n"];
35085824 -> 34458592[label = "0"];
34594256[shape = box, label = "0x20fddd0\n"];
34594256 -> 37952992[label = "0"];
34594256 -> 35085824[label = "1"];
35204864[shape = box, label = "0x2192f00\n"];
35204864 -> 34594256[label = "0"];
37952992[shape = box, label = "0x2431de0\n"];
37952992 -> 37922032[label = "0"];
35204576[shape = box, label = "0x2192de0\n"];
35204576 -> 35204864[label = "0"];
37922032[shape = box, label = "EXIT"];
34452480[shape = box, label = "ENTER"];
34452480 -> 35204576[label = "0"];
}