digraph cfg {
54657632[shape = box, label = "0x3420260\n"];
54657632 -> 49914976[label = "0"];
49914976[shape = box, label = "EXIT"];
50056752[shape = box, label = "0x2fbce30\n"];
50056752 -> 54657632[label = "0"];
49915424[shape = box, label = "ENTER"];
49915424 -> 50056752[label = "0"];
}