digraph cfg {
38853456[shape = box, label = "0x250db50\n"];
38853456 -> 39171520[label = "0"];
39171520[shape = box, label = "0x255b5c0\n"];
39171520 -> 39925808[label = "0"];
38872672[shape = box, label = "0x2512660\n"];
38872672 -> 38853456[label = "0"];
39925808[shape = box, label = "0x2613830\n"];
39925808 -> 39917264[label = "0"];
39036832[shape = box, label = "0x253a7a0\n"];
39036832 -> 38872672[label = "0"];
39917264[shape = box, label = "EXIT"];
38847424[shape = box, label = "ENTER"];
38847424 -> 39036832[label = "0"];
}