digraph cfg {
27674544[shape = box, label = "0x1a647b0\n"];
27674544 -> 22556416[label = "0"];
23166544[shape = box, label = "0x1617e50\n"];
23166544 -> 27571600[label = "0"];
27712144[shape = box, label = "0x1a6da90\n"];
27712144 -> 22420464[label = "0"];
27711792[shape = box, label = "0x1a6d930\n"];
27711792 -> 27712144[label = "0"];
25913248[shape = box, label = "0x18b67a0\n"];
25913248 -> 22556416[label = "0"];
25913248 -> 23166544[label = "1"];
22556416[shape = box, label = "0x1582f00\n"];
22556416 -> 27711792[label = "0"];
27571600[shape = box, label = "0x1a4b590\n"];
27571600 -> 27674544[label = "0"];
22556128[shape = box, label = "0x1582de0\n"];
22556128 -> 25913248[label = "0"];
22420464[shape = box, label = "EXIT"];
22414336[shape = box, label = "ENTER"];
22414336 -> 22556128[label = "0"];
}