digraph cfg {
25913248[shape = box, label = "0x18b67a0\n"];
25913248 -> 23166448[label = "0"];
22556416[shape = box, label = "0x1582f00\n"];
22556416 -> 25913248[label = "0"];
22556128[shape = box, label = "0x1582de0\n"];
22556128 -> 22556416[label = "0"];
23166448[shape = box, label = "EXIT"];
22414336[shape = box, label = "ENTER"];
22414336 -> 22556128[label = "0"];
}