digraph cfg {
50056784[shape = box, label = "0x2fbce50\n"];
50056784 -> 54557136[label = "0"];
49915424[shape = box, label = "ENTER"];
49915424 -> 55055888[label = "0"];
55055888[shape = box, label = "0x3481610\n"];
55055888 -> 54778624[label = "0"];
54911104[shape = box, label = "0x345e080\n"];
54911104 -> 49914976[label = "0"];
54778624[shape = box, label = "0x343db00\n"];
54778624 -> 54717776[label = "0"];
54717776[shape = box, label = "0x342ed50\n"];
54717776 -> 50667168[label = "0"];
54718032[shape = box, label = "0x342ee50\n"];
54718032 -> 54911104[label = "0"];
49914976[shape = box, label = "EXIT"];
54657760[shape = box, label = "0x34202e0\n"];
54657760 -> 50056784[label = "0"];
50667168[shape = box, label = "0x3051ea0\n"];
50667168 -> 54718032[label = "0"];
50667168 -> 54557136[label = "1"];
49921120[shape = box, label = "0x2f9bc60\n"];
49921120 -> 54718032[label = "0"];
54557136[shape = box, label = "0x34079d0\n"];
54557136 -> 49921120[label = "0"];
54557136 -> 54657760[label = "1"];
}