digraph cfg {
54717776[shape = box, label = "0x342ed50\n"];
54717776 -> 49915072[label = "0"];
50666976[shape = box, label = "0x3051de0\n"];
50666976 -> 49915072[label = "0"];
54659184[shape = box, label = "0x3420870\n"];
54659184 -> 50056816[label = "0"];
54659184 -> 54717776[label = "1"];
54557008[shape = box, label = "0x3407950\n"];
54557008 -> 54657632[label = "0"];
54657632[shape = box, label = "0x3420260\n"];
54657632 -> 54659184[label = "0"];
54778720[shape = box, label = "0x343db60\n"];
54778720 -> 54557008[label = "0"];
50056816[shape = box, label = "0x2fbce70\n"];
50056816 -> 50666976[label = "0"];
49921184[shape = box, label = "0x2f9bca0\n"];
49921184 -> 54778720[label = "0"];
49915072[shape = box, label = "EXIT"];
49915520[shape = box, label = "ENTER"];
49915520 -> 49921184[label = "0"];
}