digraph cfg {
50483728[shape = box, label = "0x3025210\n"];
50483728 -> 56079904[label = "0"];
50785840[shape = box, label = "0x306ee30\n"];
50785840 -> 50483280[label = "0"];
51024016[shape = box, label = "0x30a9090\n"];
51024016 -> 50785840[label = "0"];
50492128[shape = box, label = "0x30272e0\n"];
50492128 -> 51024016[label = "0"];
50484368[shape = box, label = "0x3025490\n"];
50484368 -> 50492128[label = "0"];
50483280[shape = box, label = "0x3025050\n"];
50483280 -> 50483728[label = "0"];
56089408[shape = box, label = "0x357db40\n"];
56089408 -> 50486560[label = "0"];
56079904[shape = box, label = "EXIT"];
50486560[shape = box, label = "0x3025d20\n"];
50486560 -> 50484368[label = "0"];
50408064[shape = box, label = "ENTER"];
50408064 -> 56089408[label = "0"];
}