if (VM.VerifyAssertions) { VM.assert(false); }
if (VM.VerifyAssertions) { VM._assert(false); }
  public VM_BranchProfile getEntry(int bcIndex) {    int low = 0;    int high = data.length-1;    while (true) {      int mid = (low + high) >> 1;      int bci = data[mid].getBytecodeIndex();      if (bci == bcIndex) {	return data[mid];      }      if (low >= high) { 	// search failed	if (VM.VerifyAssertions) { VM.assert(false); }	return null;      }      if (bci > bcIndex) {	high = mid-1;      } else {	low = mid+1;      }          }  }  public void print(java.io.PrintStream ps) {    ps.println("M "+VM_EdgeCounterDictionary.getValue(counterId).length+" "+	       VM_EdgeCounterDictionary.getKey(counterId));    for (int j=0; j<data.length; j++) {      ps.println("\t"+data[j]);    }  }