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