digraph cfg {
40324416[shape = box, label = "0x2674d40\n"];
40324416 -> 34984960[label = "0"];
34991088[shape = box, label = "0x215ebf0\n"];
34991088 -> 34984960[label = "0"];
35126848[shape = box, label = "0x217fe40\n"];
35126848 -> 35737072[label = "0"];
35126848 -> 34991088[label = "1"];
40379920[shape = box, label = "0x2682610\n"];
40379920 -> 35126848[label = "0"];
35737072[shape = box, label = "0x2214df0\n"];
35737072 -> 40324416[label = "0"];
38386976[shape = box, label = "0x249bd20\n"];
38386976 -> 40379696[label = "0"];
34984960[shape = box, label = "EXIT"];
40379696[shape = box, label = "0x2682530\n"];
40379696 -> 40379920[label = "0"];
34992864[shape = box, label = "ENTER"];
34992864 -> 38386976[label = "0"];
}