writeBarrier(src.add(index<<LOG_WORD_SIZE), tgt, src);
writeBarrier(src.add(index<<LOG_WORD_SIZE), tgt);
  public final void arrayStoreWriteBarrier(VM_Address src, int index,					   VM_Address tgt)    throws VM_PragmaInline {    writeBarrier(src.add(index<<LOG_WORD_SIZE), tgt, src);  }