digraph cfg {
51298880[shape = box, label = "0x30ec240\n"];
51298880 -> 51306336[label = "0"];
52081104[shape = box, label = "0x31ab1d0\n"];
52081104 -> 51237504[label = "0"];
51237504[shape = box, label = "0x30dd280\n"];
51237504 -> 52813232[label = "0"];
51237504 -> 51298880[label = "1"];
52813232[shape = box, label = "0x325ddb0\n"];
52813232 -> 52112512[label = "0"];
51546976[shape = box, label = "0x3128b60\n"];
51546976 -> 52081104[label = "0"];
52812944[shape = box, label = "0x325dc90\n"];
52812944 -> 51546976[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"];
51306080[shape = box, label = "ENTER"];
51306080 -> 52812944[label = "0"];
}