digraph cfg {
44618256[shape = box, label = "0x2a8d210\n"];
44618256 -> 43414784[label = "0"];
42439712[shape = box, label = "0x2879420\n"];
42439712 -> 44617808[label = "0"];
42508240[shape = box, label = "0x2889fd0\n"];
42508240 -> 42439712[label = "0"];
43414784[shape = box, label = "EXIT"];
44617808[shape = box, label = "0x2a8d050\n"];
44617808 -> 44618256[label = "0"];
42502112[shape = box, label = "ENTER"];
42502112 -> 42508240[label = "0"];
}