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