digraph cfg {
35996416[shape = box, label = "0x2254300\n"];
35996416 -> 35994560[label = "0"];
35995712[shape = box, label = "0x2254040\n"];
35995712 -> 35996064[label = "0"];
35995264[shape = box, label = "0x2253e80\n"];
35995264 -> 35994560[label = "0"];
35995264 -> 35995712[label = "1"];
35994912[shape = box, label = "0x2253d20\n"];
35994912 -> 35995264[label = "0"];
35994560[shape = box, label = "0x2253bc0\n"];
35994560 -> 34808736[label = "0"];
34808736[shape = box, label = "0x21323a0\n"];
34808736 -> 34487488[label = "0"];
34458768[shape = box, label = "0x20dcc90\n"];
34458768 -> 34459024[label = "0"];
35070624[shape = box, label = "0x21722a0\n"];
35070624 -> 35858720[label = "0"];
34486032[shape = box, label = "ENTER"];
34486032 -> 34461424[label = "0"];
35996064[shape = box, label = "0x22541a0\n"];
35996064 -> 35996416[label = "0"];
35070176[shape = box, label = "0x21720e0\n"];
35070176 -> 35070624[label = "0"];
34487488[shape = box, label = "EXIT"];
35858944[shape = box, label = "0x2232a00\n"];
35858944 -> 34467120[label = "0"];
34461424[shape = box, label = "0x20dd6f0\n"];
34461424 -> 34610224[label = "0"];
35858720[shape = box, label = "0x2232920\n"];
35858720 -> 34458768[label = "0"];
34459024[shape = box, label = "0x20dcd90\n"];
34459024 -> 35994912[label = "0"];
34467120[shape = box, label = "0x20ded30\n"];
34467120 -> 35858720[label = "0"];
34467120 -> 34459824[label = "1"];
34610224[shape = box, label = "0x2101c30\n"];
34610224 -> 35858944[label = "0"];
34460080[shape = box, label = "0x20dd1b0\n"];
34460080 -> 35070176[label = "0"];
34459824[shape = box, label = "0x20dd0b0\n"];
34459824 -> 34460080[label = "0"];
}