digraph cfg {
51261536[shape = box, label = "0x30e3060\n"];
51261536 -> 51254560[label = "0"];
51400432[shape = box, label = "0x3104ef0\n"];
51400432 -> 51260080[label = "0"];
51399904[shape = box, label = "0x3104ce0\n"];
51399904 -> 51400432[label = "0"];
52044656[shape = box, label = "0x31a2370\n"];
52044656 -> 51399904[label = "0"];
51250016[shape = box, label = "0x30e0360\n"];
51250016 -> 52044656[label = "0"];
51254560[shape = box, label = "EXIT"];
51260080[shape = box, label = "0x30e2ab0\n"];
51260080 -> 51261536[label = "0"];
52097840[shape = box, label = "ENTER"];
52097840 -> 51250016[label = "0"];
}