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