digraph cfg {
49056576[shape = box, label = "0x2ec8b40\n"];
49056576 -> 49059168[label = "0"];
49451312[shape = box, label = "0x2f29130\n"];
49451312 -> 49056576[label = "0"];
49450960[shape = box, label = "0x2f28fd0\n"];
49450960 -> 49451312[label = "0"];
49450608[shape = box, label = "0x2f28e70\n"];
49450608 -> 49450960[label = "0"];
48862432[shape = box, label = "0x2e994e0\n"];
48862432 -> 49450608[label = "0"];
49211824[shape = box, label = "0x2eee9b0\n"];
49211824 -> 48862432[label = "0"];
49070944[shape = box, label = "0x2ecc360\n"];
49070944 -> 49211824[label = "0"];
49059168[shape = box, label = "EXIT"];
49065472[shape = box, label = "ENTER"];
49065472 -> 49070944[label = "0"];
}