digraph cfg {
52112704[shape = box, label = "0x31b2d40\n"];
52112704 -> 51297040[label = "0"];
51299264[shape = box, label = "0x30ec3c0\n"];
51299264 -> 52112704[label = "0"];
52081264[shape = box, label = "0x31ab270\n"];
52081264 -> 51299264[label = "0"];
52081008[shape = box, label = "0x31ab170\n"];
52081008 -> 52081264[label = "0"];
51306080[shape = box, label = "0x30ede60\n"];
51306080 -> 52081008[label = "0"];
51237504[shape = box, label = "0x30dd280\n"];
51237504 -> 51306080[label = "0"];
52812944[shape = box, label = "0x325dc90\n"];
52812944 -> 51237504[label = "0"];
51545952[shape = box, label = "EXIT"];
51297040[shape = box, label = "0x30ebb10\n"];
51297040 -> 51545952[label = "0"];
51546784[shape = box, label = "ENTER"];
51546784 -> 52812944[label = "0"];
}