digraph cfg {
28712864[shape = box, label = "0x1b61fa0\n"];
28712864 -> 28239392[label = "0"];
28249248[shape = box, label = "0x1af0ca0\n"];
28249248 -> 28712864[label = "0"];
28239392[shape = box, label = "EXIT"];
28243536[shape = box, label = "ENTER"];
28243536 -> 28249248[label = "0"];
}