if (VM.VerifyAssertions) VM.assert(VM.BuildForITableInterfaceInvocation); if (VM.VerifyAssertions) VM.assert(klass.isLoaded() && klass.isInterface());
if (VM.VerifyAssertions) VM._assert(VM.BuildForITableInterfaceInvocation); if (VM.VerifyAssertions) VM._assert(klass.isLoaded() && klass.isInterface());
  public static int getITableIndex(VM_Class klass, VM_Method m) {    if (VM.VerifyAssertions) VM.assert(VM.BuildForITableInterfaceInvocation);    if (VM.VerifyAssertions) VM.assert(klass.isLoaded() && klass.isInterface());    VM_Method[] methods = klass.getDeclaredMethods();    for (int i=0; i<methods.length; i++) {      if (methods[i] == m) return i+1;    }    return -1;  }