michael@0: if (typeof ParallelArray === "undefined")
michael@0:   quit();
michael@0: 
michael@0: x = ParallelArray([1942], function() {})
michael@0: x + watch.call(x, "length", (function() {}));