digraph cfg {
42439712[shape = box, label = "0x2879420\n"];
42439712 -> 42649216[label = "0"];
42649568[shape = box, label = "0x28ac7e0\n"];
42649568 -> 42508208[label = "0"];
42649216[shape = box, label = "0x28ac680\n"];
42649216 -> 42649568[label = "0"];
43414816[shape = box, label = "0x2967520\n"];
43414816 -> 42439712[label = "0"];
42508208[shape = box, label = "EXIT"];
42502112[shape = box, label = "ENTER"];
42502112 -> 43414816[label = "0"];
}