digraph cfg {
51832848[shape = box, label = "0x316e810\n"];
51832848 -> 51649264[label = "0"];
51832112[shape = box, label = "0x316e530\n"];
51832112 -> 51649264[label = "0"];
51831664[shape = box, label = "0x316e370\n"];
51831664 -> 51496048[label = "0"];
51831664 -> 51832112[label = "1"];
51496048[shape = box, label = "0x311c470\n"];
51496048 -> 51832848[label = "0"];
51495216[shape = box, label = "0x311c130\n"];
51495216 -> 51831312[label = "0"];
51496832[shape = box, label = "ENTER"];
51496832 -> 52489680[label = "0"];
51668080[shape = box, label = "0x3146470\n"];
51668080 -> 51494512[label = "0"];
51649264[shape = box, label = "EXIT"];
51508784[shape = box, label = "0x311f630\n"];
51508784 -> 51668304[label = "0"];
52489680[shape = box, label = "0x320edd0\n"];
52489680 -> 51508784[label = "0"];
51668304[shape = box, label = "0x3146550\n"];
51668304 -> 52495472[label = "0"];
51831312[shape = box, label = "0x316e210\n"];
51831312 -> 51831664[label = "0"];
52495920[shape = box, label = "0x3210630\n"];
52495920 -> 51649264[label = "0"];
52495472[shape = box, label = "0x3210470\n"];
52495472 -> 51668080[label = "0"];
52495472 -> 52495920[label = "1"];
51494512[shape = box, label = "0x311be70\n"];
51494512 -> 51494864[label = "0"];
51494864[shape = box, label = "0x311bfd0\n"];
51494864 -> 51495216[label = "0"];
}