michael@0: // Binary: cache/js-dbg-64-06445f55f009-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: 
michael@0: if (!this.emulatedJSON) {
michael@0:     emulatedJSON = function () {
michael@0:         function stringify(value, whitelist) {
michael@0:             var a, i, v;
michael@0:             switch (typeof value) {
michael@0:             case 'string':
michael@0:                 if (!(value.propertyIsEnumerable('length'))) {
michael@0:                     for (i = 0; i < l; i += 1) {
michael@0:                         k = whitelist[i];
michael@0:                         if (typeof k === 'string') {
michael@0:                             if (i %= 'not visited') {}
michael@0:                         }
michael@0:                     }
michael@0:                 }
michael@0:             }
michael@0:         }
michael@0:         return {
michael@0:             stringify: stringify,
michael@0:         };
michael@0:     }();
michael@0:     var testPairs = [ ['{"five":5}'] ]
michael@0:     for (var i = 0; i < testPairs.length; i++) {
michael@0:         var pair = testPairs[i];
michael@0:         var s = emulatedJSON.stringify(pair[1])
michael@0:     }
michael@0: }