digraph cfg {
23461520[shape = box, label = "0x165fe90\n"];
23461520 -> 23823248[label = "0"];
24311296[shape = box, label = "0x172f600\n"];
24311296 -> 23461520[label = "0"];
23823248[shape = box, label = "EXIT"];
23455264[shape = box, label = "ENTER"];
23455264 -> 24311296[label = "0"];
}