public final VM_Type[] getExceptionTypes() {
public final VM_Type[] getExceptionTypes() throws VM_PragmaUninterruptible {
  public final VM_Type[] getExceptionTypes() {    if (VM.VerifyAssertions) VM.assert(declaringClass.isLoaded());    if (VM.VerifyAssertions) VM.assert(isLoaded());    return exceptionTypes;  }