digraph cfg {
28224672[shape = box, label = "0x1aeaca0\n"];
28224672 -> 30663520[label = "0"];
31370512[shape = box, label = "0x1dead10\n"];
31370512 -> 28204288[label = "0"];
30663520[shape = box, label = "0x1d3e360\n"];
30663520 -> 31370512[label = "0"];
31346400[shape = box, label = "0x1de4ee0\n"];
31346400 -> 28224672[label = "0"];
28303040[shape = box, label = "0x1afdec0\n"];
28303040 -> 29019072[label = "0"];
30705280[shape = box, label = "0x1d48680\n"];
30705280 -> 28303040[label = "0"];
29019072[shape = box, label = "0x1bacbc0\n"];
29019072 -> 31346400[label = "0"];
28204544[shape = box, label = "0x1ae5e00\n"];
28204544 -> 30705280[label = "0"];
28204288[shape = box, label = "EXIT"];
31278176[shape = box, label = "ENTER"];
31278176 -> 28204544[label = "0"];
}