public final void insert(VM_Address addr) {
public final void insert(VM_Address addr) throws VM_PragmaInline {
  public final void insert(VM_Address addr) {    if (VM.VerifyAssertions) VM._assert(!addr.isZero());    checkInsert(1);    uncheckedInsert(addr.toInt());  }