digraph cfg {
48736944[shape = box, label = "0x2e7aab0\n"];
48736944 -> 47962736[label = "0"];
47678912[shape = box, label = "0x2d785c0\n"];
47678912 -> 48736944[label = "0"];
47962736[shape = box, label = "EXIT"];
48905312[shape = box, label = "ENTER"];
48905312 -> 47678912[label = "0"];
}