digraph cfg {
25867984[shape = box, label = "0x18ab6d0\n"];
25867984 -> 25716160[label = "0"];
25727968[shape = box, label = "0x18893e0\n"];
25727968 -> 25867984[label = "0"];
25716160[shape = box, label = "EXIT"];
26063136[shape = box, label = "ENTER"];
26063136 -> 25727968[label = "0"];
}