digraph cfg {
37400592[shape = box, label = "0x23ab010\n"];
37400592 -> 34716352[label = "0"];
34716512[shape = box, label = "0x211bb60\n"];
34716512 -> 37400592[label = "0"];
34716352[shape = box, label = "EXIT"];
32005088[shape = box, label = "ENTER"];
32005088 -> 34716512[label = "0"];
}