digraph cfg {
51363520[shape = box, label = "0x30fbec0\n"];
51363520 -> 50401552[label = "0"];
52066592[shape = box, label = "0x31a7920\n"];
52066592 -> 51363520[label = "0"];
50401552[shape = box, label = "EXIT"];
50382176[shape = box, label = "ENTER"];
50382176 -> 52066592[label = "0"];
}