digraph cfg {
48956272[shape = box, label = "0x2eb0370\n"];
48956272 -> 47685136[label = "0"];
47704048[shape = box, label = "EXIT"];
47685136[shape = box, label = "0x2d79e10\n"];
47685136 -> 47704048[label = "0"];
48608608[shape = box, label = "ENTER"];
48608608 -> 48956272[label = "0"];
}