digraph cfg {
47488480[shape = box, label = "0x2d49de0\n"];
47488480 -> 47253904[label = "0"];
47352816[shape = box, label = "0x2d28bf0\n"];
47352816 -> 47488480[label = "0"];
47253904[shape = box, label = "EXIT"];
47346688[shape = box, label = "ENTER"];
47346688 -> 47352816[label = "0"];
}