digraph cfg {
25952256[shape = box, label = "0x18c0000\n"];
25952256 -> 24793616[label = "0"];
24882544[shape = box, label = "0x17bad70\n"];
24882544 -> 25951808[label = "0"];
25002272[shape = box, label = "0x17d8120\n"];
25002272 -> 24882544[label = "0"];
25002016[shape = box, label = "0x17d8020\n"];
25002016 -> 25002272[label = "0"];
25951808[shape = box, label = "0x18bfe40\n"];
25951808 -> 25952256[label = "0"];
25362208[shape = box, label = "0x182ff20\n"];
25362208 -> 24862064[label = "0"];
25356640[shape = box, label = "0x182e960\n"];
25356640 -> 25002016[label = "0"];
24793616[shape = box, label = "EXIT"];
24862064[shape = box, label = "0x17b5d70\n"];
24862064 -> 25356640[label = "0"];
24855904[shape = box, label = "ENTER"];
24855904 -> 25362208[label = "0"];
}