digraph cfg {
40307536[shape = box, label = "0x2670b50\n"];
40307536 -> 41692160[label = "0"];
40455952[shape = box, label = "0x2694f10\n"];
40455952 -> 40239200[label = "0"];
40300112[shape = box, label = "0x266ee50\n"];
40300112 -> 40242064[label = "0"];
40239200[shape = box, label = "0x2660060\n"];
40239200 -> 40307536[label = "0"];
41642448[shape = box, label = "0x27b69d0\n"];
41642448 -> 40455952[label = "0"];
40309184[shape = box, label = "0x26711c0\n"];
40309184 -> 41731776[label = "0"];
41074480[shape = box, label = "0x272bf30\n"];
41074480 -> 40457168[label = "0"];
40610784[shape = box, label = "0x26babe0\n"];
40610784 -> 40611328[label = "0"];
41692160[shape = box, label = "0x27c2c00\n"];
41692160 -> 41692512[label = "0"];
41750640[shape = box, label = "0x27d1070\n"];
41750640 -> 41750992[label = "0"];
40299280[shape = box, label = "0x266eb10\n"];
40299280 -> 41750288[label = "0"];
40611328[shape = box, label = "0x26bae00\n"];
40611328 -> 41534576[label = "0"];
40457168[shape = box, label = "0x26953d0\n"];
40457168 -> 41642448[label = "0"];
40301408[shape = box, label = "0x266f360\n"];
40301408 -> 41074480[label = "0"];
41534576[shape = box, label = "EXIT"];
40298832[shape = box, label = "0x266e950\n"];
40298832 -> 40299280[label = "0"];
40301968[shape = box, label = "ENTER"];
40301968 -> 40301408[label = "0"];
41692512[shape = box, label = "0x27c2d60\n"];
41692512 -> 40300320[label = "0"];
40308832[shape = box, label = "0x2671060\n"];
40308832 -> 40309184[label = "0"];
41750288[shape = box, label = "0x27d0f10\n"];
41750288 -> 40300112[label = "0"];
40300320[shape = box, label = "0x266ef20\n"];
40300320 -> 40308832[label = "0"];
40298480[shape = box, label = "0x266e7f0\n"];
40298480 -> 40298832[label = "0"];
40242064[shape = box, label = "0x2660b90\n"];
40242064 -> 40610784[label = "0"];
41731776[shape = box, label = "0x27cc6c0\n"];
41731776 -> 41732224[label = "0"];
41732224[shape = box, label = "0x27cc880\n"];
41732224 -> 41750640[label = "0"];
41750992[shape = box, label = "0x27d11d0\n"];
41750992 -> 41750288[label = "0"];
41750992 -> 40298480[label = "1"];
}