digraph cfg {
50702768[shape = box, label = "0x305a9b0\n"];
50702768 -> 50280224[label = "0"];
50702320[shape = box, label = "0x305a7f0\n"];
50702320 -> 50702768[label = "0"];
50426720[shape = box, label = "0x3017360\n"];
50426720 -> 50427008[label = "0"];
50286336[shape = box, label = "0x2ff4f00\n"];
50286336 -> 50426720[label = "0"];
50520736[shape = box, label = "0x302e2a0\n"];
50520736 -> 50286336[label = "0"];
50427008[shape = box, label = "0x3017480\n"];
50427008 -> 50702320[label = "0"];
50280224[shape = box, label = "EXIT"];
50217760[shape = box, label = "ENTER"];
50217760 -> 50520736[label = "0"];
}