digraph cfg {
31034304[shape = box, label = "0x1d98bc0\n"];
31034304 -> 27682176[label = "0"];
30822288[shape = box, label = "0x1d64f90\n"];
30822288 -> 31034304[label = "0"];
27682176[shape = box, label = "EXIT"];
27585280[shape = box, label = "ENTER"];
27585280 -> 30822288[label = "0"];
}