if (VM.VerifyAssertions) VM.assert(value > 0);
if (VM.VerifyAssertions) VM._assert(value > 0);
  public final void setSpill(int value) {    if (VM.VerifyAssertions) VM.assert(value > 0);    this.value = value;  }