digraph cfg {
38932976[shape = box, label = "0x25211f0\n"];
38932976 -> 39785920[label = "0"];
39086208[shape = box, label = "0x2546880\n"];
39086208 -> 38932976[label = "0"];
39775456[shape = box, label = "0x25eece0\n"];
39775456 -> 39086208[label = "0"];
39785920[shape = box, label = "0x25f15c0\n"];
39785920 -> 38933984[label = "0"];
38945696[shape = box, label = "0x25243a0\n"];
38945696 -> 39775200[label = "0"];
39775200[shape = box, label = "0x25eebe0\n"];
39775200 -> 39775456[label = "0"];
39474240[shape = box, label = "0x25a5440\n"];
39474240 -> 38945696[label = "0"];
38933984[shape = box, label = "EXIT"];
39583632[shape = box, label = "ENTER"];
39583632 -> 39474240[label = "0"];
}