digraph cfg {
31058672[shape = box, label = "0x1d9eaf0\n"];
31058672 -> 27682176[label = "0"];
31034496[shape = box, label = "0x1d98c80\n"];
31034496 -> 31058672[label = "0"];
27677824[shape = box, label = "0x1a65480\n"];
27677824 -> 31034496[label = "0"];
30822288[shape = box, label = "0x1d64f90\n"];
30822288 -> 27677824[label = "0"];
27682176[shape = box, label = "EXIT"];
27585280[shape = box, label = "ENTER"];
27585280 -> 30822288[label = "0"];
}