digraph cfg {
38414944[shape = box, label = "0x24a2a60\n"];
38414944 -> 38394240[label = "0"];
38414656[shape = box, label = "0x24a2940\n"];
38414656 -> 38414944[label = "0"];
38394240[shape = box, label = "EXIT"];
38380784[shape = box, label = "ENTER"];
38380784 -> 38414656[label = "0"];
}