digraph cfg {
25208160[shape = box, label = "0x180a560\n"];
25208160 -> 26236800[label = "0"];
26827600[shape = box, label = "0x1995b50\n"];
26827600 -> 25208160[label = "0"];
26236800[shape = box, label = "EXIT"];
25490432[shape = box, label = "ENTER"];
25490432 -> 26827600[label = "0"];
}