digraph cfg {
55055792[shape = box, label = "0x34815b0\n"];
55055792 -> 49915072[label = "0"];
54778624[shape = box, label = "0x343db00\n"];
54778624 -> 55055792[label = "0"];
54657728[shape = box, label = "0x34202c0\n"];
54657728 -> 54778624[label = "0"];
54557200[shape = box, label = "0x3407a10\n"];
54557200 -> 49921152[label = "0"];
49915072[shape = box, label = "EXIT"];
49921152[shape = box, label = "0x2f9bc80\n"];
49921152 -> 54657728[label = "0"];
49915520[shape = box, label = "ENTER"];
49915520 -> 54557200[label = "0"];
}