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