digraph cfg {
25324368[shape = box, label = "0x1826b50\n"];
25324368 -> 26459248[label = "0"];
25578944[shape = box, label = "0x1864dc0\n"];
25578944 -> 25324368[label = "0"];
26459248[shape = box, label = "EXIT"];
25318240[shape = box, label = "ENTER"];
25318240 -> 25578944[label = "0"];
}