digraph cfg {
25362208[shape = box, label = "0x182ff20\n"];
25362208 -> 24862064[label = "0"];
24793616[shape = box, label = "0x17a5210\n"];
24793616 -> 25362208[label = "0"];
24862064[shape = box, label = "EXIT"];
24855904[shape = box, label = "ENTER"];
24855904 -> 24793616[label = "0"];
}