digraph cfg {
27687952[shape = box, label = "0x1a67c10\n"];
27687952 -> 27576672[label = "0"];
27687696[shape = box, label = "0x1a67b10\n"];
27687696 -> 27687952[label = "0"];
28433904[shape = box, label = "0x1b1ddf0\n"];
28433904 -> 27687696[label = "0"];
31034304[shape = box, label = "0x1d98bc0\n"];
31034304 -> 31034528[label = "0"];
27576672[shape = box, label = "0x1a4c960\n"];
27576672 -> 27682176[label = "0"];
30822288[shape = box, label = "0x1d64f90\n"];
30822288 -> 31034304[label = "0"];
27682176[shape = box, label = "EXIT"];
31034528[shape = box, label = "0x1d98ca0\n"];
31034528 -> 28433904[label = "0"];
27585280[shape = box, label = "ENTER"];
27585280 -> 30822288[label = "0"];
}