digraph cfg {
38629824[shape = box, label = "0x24d71c0\n"];
38629824 -> 38531552[label = "0"];
39815408[shape = box, label = "EXIT"];
38531552[shape = box, label = "0x24bf1e0\n"];
38531552 -> 39815408[label = "0"];
39835888[shape = box, label = "ENTER"];
39835888 -> 38629824[label = "0"];
}