digraph cfg {
25466800[shape = box, label = "0x18497b0\n"];
25466800 -> 24793184[label = "0"];
24854496[shape = box, label = "0x17b3fe0\n"];
24854496 -> 25466800[label = "0"];
24779392[shape = box, label = "0x17a1a80\n"];
24779392 -> 24854496[label = "0"];
24779072[shape = box, label = "0x17a1940\n"];
24779072 -> 24779392[label = "0"];
24980640[shape = box, label = "0x17d2ca0\n"];
24980640 -> 24779072[label = "0"];
24793184[shape = box, label = "EXIT"];
24869264[shape = box, label = "ENTER"];
24869264 -> 24980640[label = "0"];
}