digraph cfg {
25356928[shape = box, label = "0x182ea80\n"];
25356928 -> 25459568[label = "0"];
25432592[shape = box, label = "0x1841210\n"];
25432592 -> 25356928[label = "0"];
25432144[shape = box, label = "0x1841050\n"];
25432144 -> 25432592[label = "0"];
25459568[shape = box, label = "EXIT"];
25440720[shape = box, label = "ENTER"];
25440720 -> 25432144[label = "0"];
}