digraph cfg {
24890096[shape = box, label = "0x17bcaf0\n"];
24890096 -> 24069072[label = "0"];
24890736[shape = box, label = "0x17bcd70\n"];
24890736 -> 24091600[label = "0"];
24889264[shape = box, label = "0x17bc7b0\n"];
24889264 -> 24074224[label = "0"];
24888816[shape = box, label = "0x17bc5f0\n"];
24888816 -> 24074224[label = "0"];
24888816 -> 24889264[label = "1"];
24075376[shape = box, label = "0x16f5c70\n"];
24075376 -> 24075728[label = "0"];
24075024[shape = box, label = "0x16f5b10\n"];
24075024 -> 24075376[label = "0"];
24076288[shape = box, label = "0x16f6000\n"];
24076288 -> 24076608[label = "0"];
24074224[shape = box, label = "0x16f57f0\n"];
24074224 -> 24890096[label = "0"];
24069072[shape = box, label = "0x16f43d0\n"];
24069072 -> 24069392[label = "0"];
24074768[shape = box, label = "0x16f5a10\n"];
24074768 -> 24075024[label = "0"];
24076608[shape = box, label = "0x16f6140\n"];
24076608 -> 24529904[label = "0"];
24069392[shape = box, label = "0x16f4510\n"];
24069392 -> 24001024[label = "0"];
24069392 -> 24074768[label = "1"];
24075728[shape = box, label = "0x16f5dd0\n"];
24075728 -> 24888816[label = "0"];
24001024[shape = box, label = "0x16e3a00\n"];
24001024 -> 24890736[label = "0"];
24529904[shape = box, label = "0x1764bf0\n"];
24529904 -> 24530256[label = "0"];
24077248[shape = box, label = "ENTER"];
24077248 -> 24203104[label = "0"];
24091600[shape = box, label = "EXIT"];
24203104[shape = box, label = "0x1714f60\n"];
24203104 -> 24076288[label = "0"];
24530256[shape = box, label = "0x1764d50\n"];
24530256 -> 24069072[label = "0"];
}