VM_Address value) {}
VM_Address value) {   if (VM_Interface.VerifyAssertions) VM_Interface._assert(false); }
  public void arrayStoreWriteBarrier(VM_Address ref, int index, 				     VM_Address value) {}