digraph cfg {
34583968[shape = box, label = "0x20fb5a0\n"];
34583968 -> 35773232[label = "0"];
35773456[shape = box, label = "0x221dc10\n"];
35773456 -> 34583968[label = "0"];
35773232[shape = box, label = "EXIT"];
34800960[shape = box, label = "ENTER"];
34800960 -> 35773456[label = "0"];
}