digraph cfg {
25391088[shape = box, label = "0x1836ff0\n"];
25391088 -> 26017008[label = "0"];
26008480[shape = box, label = "0x18cdba0\n"];
26008480 -> 25391088[label = "0"];
26017008[shape = box, label = "EXIT"];
24508384[shape = box, label = "ENTER"];
24508384 -> 26008480[label = "0"];
}