digraph cfg {
38853456[shape = box, label = "0x250db50\n"];
38853456 -> 39946320[label = "0"];
39917200[shape = box, label = "0x2611690\n"];
39917200 -> 38853456[label = "0"];
39946320[shape = box, label = "EXIT"];
38847424[shape = box, label = "ENTER"];
38847424 -> 39917200[label = "0"];
}