if (VM.VerifyAssertions) VM.assert(instructions != null);
if (VM.VerifyAssertions) VM._assert(instructions != null);
  INSTRUCTION[] getInstructions() {    if (VM.VerifyAssertions) VM.assert(instructions != null); // must call "finish" first    return instructions;  }