digraph cfg {
35996048[shape = box, label = "0x2254190\n"];
35996048 -> 35997568[label = "0"];
35995152[shape = box, label = "0x2253e10\n"];
35995152 -> 35995600[label = "0"];
35994704[shape = box, label = "0x2253c50\n"];
35994704 -> 35995152[label = "0"];
38986592[shape = box, label = "0x252e360\n"];
38986592 -> 35994256[label = "0"];
38986144[shape = box, label = "0x252e1a0\n"];
38986144 -> 38986592[label = "0"];
38985792[shape = box, label = "0x252e040\n"];
38985792 -> 38986144[label = "0"];
38989184[shape = box, label = "0x252ed80\n"];
38989184 -> 38985792[label = "0"];
35997008[shape = box, label = "ENTER"];
35997008 -> 36003296[label = "0"];
35994256[shape = box, label = "0x2253a90\n"];
35994256 -> 35994704[label = "0"];
35997568[shape = box, label = "EXIT"];
35995600[shape = box, label = "0x2253fd0\n"];
35995600 -> 35996048[label = "0"];
36314288[shape = box, label = "0x22a1cb0\n"];
36314288 -> 36422144[label = "0"];
36171184[shape = box, label = "0x227edb0\n"];
36171184 -> 36314288[label = "0"];
36422144[shape = box, label = "0x22bc200\n"];
36422144 -> 36240672[label = "0"];
36240672[shape = box, label = "0x228fd20\n"];
36240672 -> 36241024[label = "0"];
36003296[shape = box, label = "0x2255de0\n"];
36003296 -> 36171184[label = "0"];
36241024[shape = box, label = "0x228fe80\n"];
36241024 -> 38982896[label = "0"];
38982896[shape = box, label = "0x252d4f0\n"];
38982896 -> 38983344[label = "0"];
38983344[shape = box, label = "0x252d6b0\n"];
38983344 -> 38989184[label = "0"];
}