if (VM.VerifyAssertions) VM.assert(isLoaded());
if (VM.VerifyAssertions) VM._assert(isLoaded());
  public final VM_Atom getSourceName() {     if (VM.VerifyAssertions) VM.assert(isLoaded());    return sourceName;  }