digraph cfg {
51953776[shape = box, label = "0x318c070\n"];
51953776 -> 51954288[label = "0"];
47431136[shape = box, label = "0x2d3bde0\n"];
47431136 -> 47431360[label = "0"];
46820816[shape = box, label = "0x2ca6dd0\n"];
46820816 -> 51953776[label = "0"];
47431360[shape = box, label = "0x2d3bec0\n"];
47431360 -> 46821072[label = "0"];
47431360 -> 46820816[label = "1"];
51847024[shape = box, label = "0x3171f70\n"];
51847024 -> 47431136[label = "0"];
50860656[shape = box, label = "EXIT"];
51954288[shape = box, label = "0x318c270\n"];
51954288 -> 50860656[label = "0"];
46821072[shape = box, label = "0x2ca6ed0\n"];
46821072 -> 51953776[label = "0"];
46679040[shape = box, label = "ENTER"];
46679040 -> 51847024[label = "0"];
}