public final void push(VM_Address addr) {
public final void push(VM_Address addr) throws VM_PragmaInline {
  public final void push(VM_Address addr) {    if (VM.VerifyAssertions) VM._assert(!addr.isZero());    checkPush(1);    uncheckedPush(addr.toInt());  }