digraph cfg {
34251984[shape = box, label = "0x20aa4d0\n"];
34251984 -> 28546352[label = "0"];
28546752[shape = box, label = "EXIT"];
28546352[shape = box, label = "0x1b39530\n"];
28546352 -> 28546752[label = "0"];
34523136[shape = box, label = "ENTER"];
34523136 -> 34251984[label = "0"];
}