if (VM.VerifyAssertions) VM.assert(offset < 0x8000);
if (VM.VerifyAssertions) VM._assert(offset < 0x8000);
  private int localOffset (int i) {    int offset = firstLocalOffset - (i << 2);    if (VM.VerifyAssertions) VM.assert(offset < 0x8000);    return offset;  }