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

svoid addLibrary(File f) {
  addLibraryToCurrentProgram(f);
}