deps/v8/benchmarks/richards.js
function WorkerTask(scheduler, v1, v2) {
  this.scheduler = scheduler;
  this.v1 = v1;
  this.v2 = v2;
}
function WorkerTask(scheduler, v1, v2) {
  this.scheduler = scheduler;
  this.v1 = v1;
  this.v2 = v2;
}
A task that manipulates work packets.
@param {Scheduler} scheduler the scheduler that manages this task
@param {int} v1 a seed used to specify how work packets are manipulated
@param {int} v2 another seed used to specify how work packets are manipulated
@constructor