digraph cfg {
51298880[shape = box, label = "0x30ec240\n"];
51298880 -> 51546208[label = "0"];
52112864[shape = box, label = "0x31b2de0\n"];
52112864 -> 51546208[label = "0"];
52112512[shape = box, label = "0x31b2c80\n"];
52112512 -> 52112864[label = "0"];
52081008[shape = box, label = "0x31ab170\n"];
52081008 -> 52813136[label = "0"];
52081008 -> 51298880[label = "1"];
52813136[shape = box, label = "0x325dd50\n"];
52813136 -> 52112512[label = "0"];
51547072[shape = box, label = "0x3128bc0\n"];
51547072 -> 51237600[label = "0"];
51546784[shape = box, label = "0x3128aa0\n"];
51546784 -> 51547072[label = "0"];
51546208[shape = box, label = "EXIT"];
51237600[shape = box, label = "0x30dd2e0\n"];
51237600 -> 52081008[label = "0"];
51545952[shape = box, label = "ENTER"];
51545952 -> 51546784[label = "0"];
}