digraph cfg {
23589008[shape = box, label = "0x167f090\n"];
23589008 -> 23577792[label = "0"];
24326672[shape = box, label = "0x1733210\n"];
24326672 -> 23589008[label = "0"];
23577792[shape = box, label = "EXIT"];
23521296[shape = box, label = "ENTER"];
23521296 -> 24326672[label = "0"];
}