digraph cfg {
51298880[shape = box, label = "0x30ec240\n"];
51298880 -> 51306336[label = "0"];
52813040[shape = box, label = "0x325dcf0\n"];
52813040 -> 52081008[label = "0"];
51546976[shape = box, label = "0x3128b60\n"];
51546976 -> 52112512[label = "0"];
51546240[shape = box, label = "0x3128880\n"];
51546240 -> 52813040[label = "0"];
51545952[shape = box, label = "0x3128760\n"];
51545952 -> 51546240[label = "0"];
51306336[shape = box, label = "EXIT"];
52112864[shape = box, label = "0x31b2de0\n"];
52112864 -> 51306336[label = "0"];
52112512[shape = box, label = "0x31b2c80\n"];
52112512 -> 52112864[label = "0"];
52081008[shape = box, label = "0x31ab170\n"];
52081008 -> 51546976[label = "0"];
52081008 -> 51298880[label = "1"];
51306080[shape = box, label = "ENTER"];
51306080 -> 51545952[label = "0"];
}