digraph cfg {
42649024[shape = box, label = "0x28ac5c0\n"];
42649024 -> 42649568[label = "0"];
42439712[shape = box, label = "0x2879420\n"];
42439712 -> 44617808[label = "0"];
42649568[shape = box, label = "0x28ac7e0\n"];
42649568 -> 42508208[label = "0"];
44618128[shape = box, label = "0x2a8d190\n"];
44618128 -> 42649024[label = "0"];
43414816[shape = box, label = "0x2967520\n"];
43414816 -> 42439712[label = "0"];
42508208[shape = box, label = "EXIT"];
44617808[shape = box, label = "0x2a8d050\n"];
44617808 -> 44618128[label = "0"];
42502112[shape = box, label = "ENTER"];
42502112 -> 43414816[label = "0"];
}