return resourceTable[addr.toInt() >> LOG_BLOCK_SIZE];
return resourceTable[addr.toInt() >>> LOG_BLOCK_SIZE];
  private static VMResource resourceForBlock(VM_Address addr) {    return resourceTable[addr.toInt() >> LOG_BLOCK_SIZE];  }