digraph cfg {
54778624[shape = box, label = "0x343db00\n"];
54778624 -> 49914976[label = "0"];
50667072[shape = box, label = "0x3051e40\n"];
50667072 -> 50056656[label = "0"];
50056656[shape = box, label = "0x2fbcdd0\n"];
50056656 -> 54778624[label = "0"];
49914976[shape = box, label = "EXIT"];
49915424[shape = box, label = "ENTER"];
49915424 -> 50667072[label = "0"];
}