digraph cfg {
54657728[shape = box, label = "0x34202c0\n"];
54657728 -> 49915072[label = "0"];
54778784[shape = box, label = "0x343dba0\n"];
54778784 -> 54657728[label = "0"];
49915072[shape = box, label = "EXIT"];
50056848[shape = box, label = "0x2fbce90\n"];
50056848 -> 54778784[label = "0"];
49915520[shape = box, label = "ENTER"];
49915520 -> 50056848[label = "0"];
}