int disp) {
Offset disp) {
  protected final void pushAddress(OPT_RegisterOperand base,                                   OPT_RegisterOperand index,                                   byte scale,                                   int disp) {    AddrStack = new AddrStackElement(base, index, scale, disp, AddrStack);  }