if (VM.VerifyAssertions) VM.assert(heapRanges != 0);
if (VM.VerifyAssertions) VM._assert(heapRanges != 0);
  static boolean addressInVM(int addr) {      if (VM.VerifyAssertions) VM.assert(heapRanges != 0);      for (int which = 0; ; which += 2) { 	  int MaxHeaps = 20; // Surely there are not more than 20 heaps!  Array is probably malformed.	  if (VM.VerifyAssertions) VM.assert(which <= 2 * (MaxHeaps + 1));	  int start = Platform.readmem(heapRanges + 4 * (2 * which));	  int end = Platform.readmem(heapRanges + 4 * (2 * which + 1));	  if (start == -1 && end == -1) return false;	  if (unsignedGE(addr, start) && unsignedLT(addr, end))	      return true;      }