digraph cfg {
50666976[shape = box, label = "0x3051de0\n"];
50666976 -> 49915072[label = "0"];
54557104[shape = box, label = "0x34079b0\n"];
54557104 -> 50666976[label = "0"];
54657792[shape = box, label = "0x3420300\n"];
54657792 -> 54557104[label = "0"];
55055984[shape = box, label = "0x3481670\n"];
55055984 -> 54657792[label = "0"];
49915072[shape = box, label = "EXIT"];
49915520[shape = box, label = "ENTER"];
49915520 -> 55055984[label = "0"];
}