svoid addLibrary(S libID) {
  ret addLibraryToCurrentProgram(libID);
}