digraph cfg {
25023312[shape = box, label = "0x17dd350\n"];
25023312 -> 25163296[label = "0"];
25043728[shape = box, label = "0x17e2310\n"];
25043728 -> 25023312[label = "0"];
25163296[shape = box, label = "EXIT"];
26277072[shape = box, label = "ENTER"];
26277072 -> 25043728[label = "0"];
}