digraph cfg {
46414496[shape = box, label = "0x2c43aa0\n"];
46414496 -> 45860176[label = "0"];
51379840[shape = box, label = "0x30ffe80\n"];
51379840 -> 51353888[label = "0"];
51353888[shape = box, label = "0x30f9920\n"];
51353888 -> 46414496[label = "0"];
46176320[shape = box, label = "0x2c09840\n"];
46176320 -> 51379840[label = "0"];
45860176[shape = box, label = "EXIT"];
45876688[shape = box, label = "ENTER"];
45876688 -> 46176320[label = "0"];
}