digraph cfg {
25026960[shape = box, label = "0x17de190\n"];
25026960 -> 25029376[label = "0"];
25026736[shape = box, label = "0x17de0b0\n"];
25026736 -> 25029376[label = "0"];
25026736 -> 25026960[label = "1"];
25029376[shape = box, label = "0x17deb00\n"];
25029376 -> 25095088[label = "0"];
26207488[shape = box, label = "0x18fe500\n"];
26207488 -> 25026736[label = "0"];
25095088[shape = box, label = "EXIT"];
25088960[shape = box, label = "ENTER"];
25088960 -> 26207488[label = "0"];
}