digraph cfg {
43464464[shape = box, label = "0x2973710\n"];
43464464 -> 41329920[label = "0"];
38059152[shape = box, label = "0x244bc90\n"];
38059152 -> 43464464[label = "0"];
38591312[shape = box, label = "0x24cdb50\n"];
38591312 -> 43464464[label = "0"];
38353136[shape = box, label = "0x24938f0\n"];
38353136 -> 38059152[label = "0"];
38353136 -> 38591312[label = "1"];
41971648[shape = box, label = "0x2806fc0\n"];
41971648 -> 38353136[label = "0"];
38052976[shape = box, label = "0x244a470\n"];
38052976 -> 41971648[label = "0"];
41329920[shape = box, label = "EXIT"];
37976864[shape = box, label = "ENTER"];
37976864 -> 38052976[label = "0"];
}