digraph cfg {
39991760[shape = box, label = "0x26239d0\n"];
39991760 -> 39805792[label = "0"];
40079872[shape = box, label = "0x2639200\n"];
40079872 -> 39991760[label = "0"];
39805792[shape = box, label = "EXIT"];
39936976[shape = box, label = "ENTER"];
39936976 -> 40079872[label = "0"];
}