digraph cfg {
42470720[shape = box, label = "0x2880d40\n"];
42470720 -> 42465728[label = "0"];
42465728[shape = box, label = "0x287f9c0\n"];
42465728 -> 38702544[label = "0"];
39312864[shape = box, label = "0x257dde0\n"];
39312864 -> 38501200[label = "0"];
39312864 -> 39313120[label = "1"];
42490656[shape = box, label = "0x2885b20\n"];
42490656 -> 39312864[label = "0"];
38501200[shape = box, label = "0x24b7b50\n"];
38501200 -> 42470720[label = "0"];
38702544[shape = box, label = "EXIT"];
39313120[shape = box, label = "0x257dee0\n"];
39313120 -> 38501200[label = "0"];
38568640[shape = box, label = "ENTER"];
38568640 -> 42490656[label = "0"];
}