text: function make1() {
      return [];
  }
  
  noInline(make1);
  
  function make2() {
      return [42];
  }
  
  noInline(make2);
  
  for (var i = 0; i < 10000; ++i) {
      make1();
      make2();
  }
  
  function foo(o) {
      o[0] = 0;
  }
  
  noInline(foo);
  
  for (var i = 0; i < 10000; ++i) {
      foo(make1());
      foo(make2());
  }
  
  var o = new Int8Array(100);
  var b = o.buffer;
  foo(o);
  if (o.buffer != b)
      throw "Error: buffer changed.";
  
  