digraph cfg {
50691760[shape = box, label = "0x3057eb0\n"];
50691760 -> 47253904[label = "0"];
50691408[shape = box, label = "0x3057d50\n"];
50691408 -> 50691760[label = "0"];
51498720[shape = box, label = "0x311cee0\n"];
51498720 -> 50691408[label = "0"];
47488480[shape = box, label = "0x2d49de0\n"];
47488480 -> 51498496[label = "0"];
51498496[shape = box, label = "0x311ce00\n"];
51498496 -> 51498720[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"];
}