michael@0: (function() {
michael@0:     for (a in [0]) {
michael@0:         try {
michael@0:             return
michael@0:         } catch(e) {}
michael@0:     }
michael@0: })()