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