digraph cfg {
34342000[shape = box, label = "0x20c0470\n"];
34342000 -> 34251984[label = "0"];
28545104[shape = box, label = "0x1b39050\n"];
28545104 -> 34341648[label = "0"];
34523136[shape = box, label = "ENTER"];
34523136 -> 28546752[label = "0"];
28546352[shape = box, label = "0x1b39530\n"];
28546352 -> 35110608[label = "0"];
34341648[shape = box, label = "0x20c0310\n"];
34341648 -> 34342000[label = "0"];
28546752[shape = box, label = "0x1b396c0\n"];
28546752 -> 28546352[label = "0"];
35110608[shape = box, label = "0x217bed0\n"];
35110608 -> 35149808[label = "0"];
34346592[shape = box, label = "0x20c1660\n"];
34346592 -> 28545104[label = "0"];
32464880[shape = box, label = "0x1ef5ff0\n"];
32464880 -> 34346592[label = "0"];
35149808[shape = box, label = "0x21857f0\n"];
35149808 -> 28552368[label = "0"];
28552368[shape = box, label = "0x1b3acb0\n"];
28552368 -> 29084528[label = "0"];
34251984[shape = box, label = "EXIT"];
29084528[shape = box, label = "0x1bbcb70\n"];
29084528 -> 32464880[label = "0"];
}