michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: // Contributor: Jesse Ruderman
michael@0: 
michael@0: for (let j = 0; j < 4; ++j) {
michael@0:   function g() { j; }
michael@0:   g();
michael@0: }
michael@0: 
michael@0: reportCompare(0, 0, "ok");