digraph cfg {
48743392[shape = box, label = "0x2e7c3e0\n"];
48743392 -> 48811952[label = "0"];
49024496[shape = box, label = "0x2ec0df0\n"];
49024496 -> 48743392[label = "0"];
48811952[shape = box, label = "EXIT"];
49046448[shape = box, label = "0x2ec63b0\n"];
49046448 -> 49024496[label = "0"];
48805856[shape = box, label = "ENTER"];
48805856 -> 49046448[label = "0"];
}