digraph cfg {
39315312[shape = box, label = "0x257e770\n"];
39315312 -> 39225712[label = "0"];
39225712[shape = box, label = "0x2568970\n"];
39225712 -> 39282368[label = "0"];
39295232[shape = box, label = "0x2579900\n"];
39295232 -> 39315312[label = "0"];
39395776[shape = box, label = "0x25921c0\n"];
39395776 -> 39295008[label = "0"];
39733360[shape = box, label = "0x25e4870\n"];
39733360 -> 39395776[label = "0"];
39282368[shape = box, label = "EXIT"];
39295008[shape = box, label = "0x2579820\n"];
39295008 -> 39295232[label = "0"];
39289552[shape = box, label = "ENTER"];
39289552 -> 39733360[label = "0"];
}