michael@0: /*
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/
michael@0:  */
michael@0: function f() {
michael@0:   var arr = new Int8Array(10);
michael@0:   x = function () { return arr.length; }
michael@0:   for (var i = 0; i < arr.length; i++) {
michael@0:     arr[i] = i;
michael@0:   }
michael@0:   assertEq(arr[5], 5);
michael@0: }
michael@0: f();