digraph cfg {
50860656[shape = box, label = "0x3081270\n"];
50860656 -> 46685152[label = "0"];
47431136[shape = box, label = "0x2d3bde0\n"];
47431136 -> 50860656[label = "0"];
46685152[shape = box, label = "EXIT"];
46679040[shape = box, label = "ENTER"];
46679040 -> 47431136[label = "0"];
}