digraph cfg {
54778624[shape = box, label = "0x343db00\n"];
54778624 -> 49915072[label = "0"];
50056656[shape = box, label = "0x2fbcdd0\n"];
50056656 -> 54778624[label = "0"];
50666976[shape = box, label = "0x3051de0\n"];
50666976 -> 55055792[label = "0"];
55055792[shape = box, label = "0x34815b0\n"];
55055792 -> 50056656[label = "0"];
49920992[shape = box, label = "0x2f9bbe0\n"];
49920992 -> 50666976[label = "0"];
54659280[shape = box, label = "0x34208d0\n"];
54659280 -> 49920992[label = "0"];
54557200[shape = box, label = "0x3407a10\n"];
54557200 -> 54717936[label = "0"];
54717936[shape = box, label = "0x342edf0\n"];
54717936 -> 54659280[label = "0"];
49915072[shape = box, label = "EXIT"];
49915520[shape = box, label = "ENTER"];
49915520 -> 54557200[label = "0"];
}