digraph cfg {
47711808[shape = box, label = "0x2d80640\n"];
47711808 -> 46937296[label = "0"];
46937296[shape = box, label = "0x2cc34d0\n"];
46937296 -> 47149728[label = "0"];
47149728[shape = box, label = "EXIT"];
47126832[shape = box, label = "ENTER"];
47126832 -> 47711808[label = "0"];
}