digraph cfg {
40318080[shape = box, label = "0x2673480\n"];
40318080 -> 34984960[label = "0"];
38385216[shape = box, label = "0x249b640\n"];
38385216 -> 34991088[label = "0"];
40379920[shape = box, label = "0x2682610\n"];
40379920 -> 34991088[label = "0"];
40379920 -> 40324464[label = "1"];
40319200[shape = box, label = "0x26738e0\n"];
40319200 -> 40322848[label = "0"];
34984960[shape = box, label = "EXIT"];
38386976[shape = box, label = "0x249bd20\n"];
38386976 -> 35737072[label = "0"];
35737296[shape = box, label = "0x2214ed0\n"];
35737296 -> 40379920[label = "0"];
34991088[shape = box, label = "0x215ebf0\n"];
34991088 -> 40318080[label = "0"];
35737072[shape = box, label = "0x2214df0\n"];
35737072 -> 35737296[label = "0"];
34985520[shape = box, label = "ENTER"];
34985520 -> 38386976[label = "0"];
40324464[shape = box, label = "0x2674d70\n"];
40324464 -> 39166592[label = "0"];
40322848[shape = box, label = "0x2674720\n"];
40322848 -> 38385216[label = "0"];
39166592[shape = box, label = "0x255a280\n"];
39166592 -> 40319200[label = "0"];
}