digraph cfg {
23258336[shape = box, label = "0x162e4e0\n"];
23258336 -> 24327168[label = "0"];
23461232[shape = box, label = "0x165fd70\n"];
23461232 -> 24311296[label = "0"];
24311296[shape = box, label = "0x172f600\n"];
24311296 -> 23258336[label = "0"];
23823248[shape = box, label = "EXIT"];
24327168[shape = box, label = "0x1733400\n"];
24327168 -> 23823248[label = "0"];
23455264[shape = box, label = "ENTER"];
23455264 -> 23461232[label = "0"];
}