digraph cfg {
40308832[shape = box, label = "0x2671060\n"];
40308832 -> 41534576[label = "0"];
41692384[shape = box, label = "0x27c2ce0\n"];
41692384 -> 40308832[label = "0"];
41075248[shape = box, label = "ENTER"];
41075248 -> 40301408[label = "0"];
41534576[shape = box, label = "EXIT"];
40301408[shape = box, label = "0x266f360\n"];
40301408 -> 41074480[label = "0"];
41642672[shape = box, label = "0x27b6ab0\n"];
41642672 -> 40455952[label = "0"];
41074480[shape = box, label = "0x272bf30\n"];
41074480 -> 40307536[label = "0"];
41642448[shape = box, label = "0x27b69d0\n"];
41642448 -> 41642672[label = "0"];
40307536[shape = box, label = "0x2670b50\n"];
40307536 -> 41642448[label = "0"];
40456208[shape = box, label = "0x2695010\n"];
40456208 -> 40457360[label = "0"];
40455952[shape = box, label = "0x2694f10\n"];
40455952 -> 40456208[label = "0"];
40457360[shape = box, label = "0x2695490\n"];
40457360 -> 41692384[label = "0"];
}