if (VM.VerifyAssertions) VM.assert(dynamicLibraries[currentDynamicLibraryId] == null);
if (VM.VerifyAssertions) VM._assert(dynamicLibraries[currentDynamicLibraryId] == null);
  public static void load(String libname) {    currentDynamicLibraryId++;    if (currentDynamicLibraryId>=(dynamicLibraries.length-1))      dynamicLibraries = growArray(dynamicLibraries, currentDynamicLibraryId << 1); // grow array by 2x    if (VM.VerifyAssertions) VM.assert(dynamicLibraries[currentDynamicLibraryId] == null);    dynamicLibraries[currentDynamicLibraryId] = new VM_DynamicLibrary(libname);  }