digraph cfg {
38872672[shape = box, label = "0x2512660\n"];
38872672 -> 39925904[label = "0"];
38853456[shape = box, label = "0x250db50\n"];
38853456 -> 38872672[label = "0"];
39171552[shape = box, label = "0x255b5e0\n"];
39171552 -> 38853456[label = "0"];
39925904[shape = box, label = "EXIT"];
38847424[shape = box, label = "ENTER"];
38847424 -> 39171552[label = "0"];
}