digraph cfg {
47848112[shape = box, label = "0x2da1ab0\n"];
47848112 -> 47679568[label = "0"];
47678912[shape = box, label = "0x2d785c0\n"];
47678912 -> 47848112[label = "0"];
47679568[shape = box, label = "EXIT"];
47962640[shape = box, label = "ENTER"];
47962640 -> 47678912[label = "0"];
}