digraph cfg {
54557008[shape = box, label = "0x3407950\n"];
54557008 -> 49914976[label = "0"];
49921088[shape = box, label = "0x2f9bc40\n"];
49921088 -> 54557008[label = "0"];
49914976[shape = box, label = "EXIT"];
49915424[shape = box, label = "ENTER"];
49915424 -> 49921088[label = "0"];
}