digraph cfg {
39541088[shape = box, label = "0x25b5960\n"];
39541088 -> 39915872[label = "0"];
39952064[shape = box, label = "0x2619ec0\n"];
39952064 -> 39915872[label = "0"];
39951616[shape = box, label = "0x2619d00\n"];
39951616 -> 38846560[label = "0"];
39951616 -> 39952064[label = "1"];
39951360[shape = box, label = "0x2619c00\n"];
39951360 -> 39951616[label = "0"];
38846560[shape = box, label = "0x250c060\n"];
38846560 -> 39541088[label = "0"];
38785120[shape = box, label = "0x24fd060\n"];
38785120 -> 39915872[label = "0"];
39915872[shape = box, label = "EXIT"];
39946320[shape = box, label = "0x2618850\n"];
39946320 -> 39951360[label = "0"];
38847424[shape = box, label = "ENTER"];
38847424 -> 39917200[label = "0"];
39917200[shape = box, label = "0x2611690\n"];
39917200 -> 39036800[label = "0"];
39036800[shape = box, label = "0x253a780\n"];
39036800 -> 39037056[label = "0"];
38872672[shape = box, label = "0x2512660\n"];
38872672 -> 38853488[label = "0"];
39037056[shape = box, label = "0x253a880\n"];
39037056 -> 38872672[label = "0"];
39037056 -> 39171808[label = "1"];
38853488[shape = box, label = "0x250db70\n"];
38853488 -> 38854912[label = "0"];
39171808[shape = box, label = "0x255b6e0\n"];
39171808 -> 39915872[label = "0"];
38854912[shape = box, label = "0x250e100\n"];
38854912 -> 39946320[label = "0"];
38854912 -> 38785120[label = "1"];
}