digraph cfg {
48810992[shape = box, label = "0x2e8cbf0\n"];
48810992 -> 48605936[label = "0"];
49557072[shape = box, label = "0x2f42e50\n"];
49557072 -> 48810992[label = "0"];
54060944[shape = box, label = "0x338e790\n"];
54060944 -> 49557072[label = "0"];
48805056[shape = box, label = "0x2e8b4c0\n"];
48805056 -> 56520048[label = "0"];
54575280[shape = box, label = "0x340c0b0\n"];
54575280 -> 48805520[label = "0"];
56520048[shape = box, label = "0x35e6d70\n"];
56520048 -> 54060944[label = "0"];
49438512[shape = box, label = "0x2f25f30\n"];
49438512 -> 54575280[label = "0"];
48805520[shape = box, label = "0x2e8b690\n"];
48805520 -> 48805056[label = "0"];
48605936[shape = box, label = "EXIT"];
54569520[shape = box, label = "ENTER"];
54569520 -> 49438512[label = "0"];
}