digraph cfg {
52493392[shape = box, label = "0x320fc50\n"];
52493392 -> 50653840[label = "0"];
52493392 -> 55257440[label = "1"];
51498464[shape = box, label = "0x311cde0\n"];
51498464 -> 52493392[label = "0"];
50752576[shape = box, label = "0x3066c40\n"];
50752576 -> 51498464[label = "0"];
50653840[shape = box, label = "0x304ea90\n"];
50653840 -> 50746560[label = "0"];
54103872[shape = box, label = "0x3398f40\n"];
54103872 -> 50888336[label = "0"];
55257792[shape = box, label = "0x34b2ac0\n"];
55257792 -> 50653840[label = "0"];
55257440[shape = box, label = "0x34b2960\n"];
55257440 -> 55257792[label = "0"];
50746560[shape = box, label = "EXIT"];
50888336[shape = box, label = "0x3087e90\n"];
50888336 -> 50752576[label = "0"];
50747008[shape = box, label = "ENTER"];
50747008 -> 54103872[label = "0"];
}