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