digraph cfg {
25913248[shape = box, label = "0x18b67a0\n"];
25913248 -> 22420464[label = "0"];
23166448[shape = box, label = "0x1617df0\n"];
23166448 -> 23166736[label = "0"];
22420464[shape = box, label = "EXIT"];
23166736[shape = box, label = "0x1617f10\n"];
23166736 -> 25913248[label = "0"];
22414336[shape = box, label = "ENTER"];
22414336 -> 23166448[label = "0"];
}