digraph cfg {
54085744[shape = box, label = "0x3394870\n"];
54085744 -> 48605936[label = "0"];
48810992[shape = box, label = "0x2e8cbf0\n"];
48810992 -> 53413120[label = "0"];
53413120[shape = box, label = "0x32f0500\n"];
53413120 -> 54061760[label = "0"];
48605936[shape = box, label = "EXIT"];
48946848[shape = box, label = "0x2eadea0\n"];
48946848 -> 49557072[label = "0"];
53295760[shape = box, label = "ENTER"];
53295760 -> 53434736[label = "0"];
48805056[shape = box, label = "0x2e8b4c0\n"];
48805056 -> 56520048[label = "0"];
48805424[shape = box, label = "0x2e8b630\n"];
48805424 -> 54575376[label = "0"];
54575376[shape = box, label = "0x340c110\n"];
54575376 -> 48805056[label = "0"];
54060752[shape = box, label = "0x338e6d0\n"];
54060752 -> 48810992[label = "0"];
53434736[shape = box, label = "0x32f5970\n"];
53434736 -> 48805424[label = "0"];
56520048[shape = box, label = "0x35e6d70\n"];
56520048 -> 48946848[label = "0"];
54061760[shape = box, label = "0x338eac0\n"];
54061760 -> 54085744[label = "0"];
49557072[shape = box, label = "0x2f42e50\n"];
49557072 -> 54060752[label = "0"];
}