digraph cfg {
24095264[shape = box, label = "0x16faa20\n"];
24095264 -> 23823216[label = "0"];
24094720[shape = box, label = "0x16fa800\n"];
24094720 -> 24095264[label = "0"];
24094368[shape = box, label = "0x16fa6a0\n"];
24094368 -> 24094720[label = "0"];
23258336[shape = box, label = "0x162e4e0\n"];
23258336 -> 24327168[label = "0"];
23461232[shape = box, label = "0x165fd70\n"];
23461232 -> 23258336[label = "0"];
24311296[shape = box, label = "0x172f600\n"];
24311296 -> 23461232[label = "0"];
23823216[shape = box, label = "EXIT"];
24327520[shape = box, label = "0x1733560\n"];
24327520 -> 24094368[label = "0"];
24327168[shape = box, label = "0x1733400\n"];
24327168 -> 24327520[label = "0"];
23455264[shape = box, label = "ENTER"];
23455264 -> 24311296[label = "0"];
}