digraph cfg {
26930544[shape = box, label = "0x19aed70\n"];
26930544 -> 26198240[label = "0"];
25579568[shape = box, label = "0x1865030\n"];
25579568 -> 26930544[label = "0"];
26198240[shape = box, label = "EXIT"];
26343728[shape = box, label = "ENTER"];
26343728 -> 25579568[label = "0"];
}