digraph cfg {
48189904[shape = box, label = "0x2df51d0\n"];
48189904 -> 49192144[label = "0"];
48174432[shape = box, label = "EXIT"];
49192144[shape = box, label = "0x2ee9cd0\n"];
49192144 -> 48174432[label = "0"];
48823072[shape = box, label = "ENTER"];
48823072 -> 48189904[label = "0"];
}