digraph cfg {
43464464[shape = box, label = "0x2973710\n"];
43464464 -> 38053536[label = "0"];
38052976[shape = box, label = "0x244a470\n"];
38052976 -> 41971648[label = "0"];
41971648[shape = box, label = "0x2806fc0\n"];
41971648 -> 43464464[label = "0"];
38053536[shape = box, label = "EXIT"];
43359936[shape = box, label = "ENTER"];
43359936 -> 38052976[label = "0"];
}