static L<S> standardFunctions = litlist(
  "#1016329/stringToLegalIdentifier",
  "#1016328/li",
  "#1016324/subBot_serveWithContentType",
  "#1016325/callMainBot",
  "#1016321/cleanKillInNewThread",
  "#1016319/onWindowClosingDoOnly",
  "#1016316/platformQuoteOpt",
  "#1016317/containsUnsafePlatformCmdLineChar",
  "#1016315/fileOlderThanNDays",
  "#1016314/dm_showVideo",
  "#1016312/isVideoFileName",
  "#1016313/fileExtensionWithoutDot",
  "#1016310/urlSizeByHEAD",
  "#1016309/installOrUpdateYouTubeDL",
  "#1016308/forceInstallYouTubeDL",
  "#1016307/youTubeDL_URL",
  "#1016306/desktopDir",
  "#1016305/tempDisableButton",
  "#1016303/formatYouTubeURL",
  "#1016302/_registerTimer_original",
  "#1016300/acc_defunctProgramIDs",
  "#1016299/allThreadsWithACC",
  "#1016298/threadGroupName",
  "#1016297/castGetOpt",
  "#1016296/allThreads",
  "#1016294/acc_current",
  "#1016292/noRegularGC",
  "#1016290/isJavaXClassLoader",
  "#1016289/retireClassLoader",
  "#1016286/dm_doInGlobalContext",
  "#1016283/afterLastSpace",
  "#1016281/setVisible",
  "#1016279/oshi_hadDiskAccess",
  "#1016278/print_acc_programIDs",
  "#1016276/onlyJavaXClassLoaders",
  "#1016275/acc_programIDs",
  "#1016274/acc_classLoaders",
  "#1016272/stefansOS_showNewDynamicModule",
  "#1016271/waitUntilSysTimeOrFlag",
  "#1016270/centerPackInternalFrame",
  "#1016269/jboldbutton",
  "#1016268/dm_addDynamicModuleDialog",
  "#1016267/stefansOS_addDynamicModuleDialog",
  "#1016266/jMultiLineLabel",
  "#1016263/applyStandardSwingFixes",
  "#1016262/fixSwingTitledBorderMemoryLeak",
  "#1016258/callGetters",
  "#1016256/oshi_diskStores",
  "#1016255/localPrint",
  "#1016253/fixNewLines_old",
  "#1016251/md5OfFile",
  "#1016250/firstCmdOnPATH_mandatory",
  "#1016248/mapPut_returnKey",
  "#1016246/dm_universalSearchData",
  "#1016245/dm_moduleID",
  "#1016244/dm_universalSearch",
  "#1016243/tempSetField",
  "#1016242/dataToTable_uneditable_ifHasTable",
  "#1016240/getParent",
  "#1016239/packInternalFrameInTopRightCorner",
  "#1016238/tempDisposeInternalFrame",
  "#1016237/removeConceptIndex",
  "#1016236/bindLiveValueListenerToComponent",
  "#1016233/setColorizationFactor",
  "#1016231/jtransparent_hard",
  "#1016228/swing_clearLightWeightPopupCache",
  "#1016227/_javaCommand",
  "#1016225/dm_modulesOfType",
  "#1016226/filterByShortClassName",
  "#1016224/getCreatorOpt",
  "#1016222/addStickyLibrary",
  "#1016221/currentProgramHasLibrary",
  "#1016220/hotwire_autoStickyLibs",
  "#1016219/sameOrUnderscorePlus",
  "#1016216/hotwire_makeClassLoader_stickyLibs",
  "#1016215/isStickyLibrary",
  "#1016214/markLibsSticky",
  "#1016213/DiskSnippetCache_fileToLibID",
  "#1016212/formatSnippetIDs",
  "#1016209/componentPopupMenu2",
  "#1016208/localPrintLog",
  "#1016207/liveLocalPrintLog",
  "#1016204/livePrintLog",
  "#1016203/systemHashCodeHex",
  "#1016201/snippetTypeName",
  "#1016200/regexpAllGroups",
  "#1016195/jimagebutton",
  "#1016193/copyFileIfSizeDifferent",
  "#1016191/oshi_batteryLevel_withZeroPercentFix",
  "#1016190/oshi_batteryLevel",
  "#1016188/cloneAsHashMap",
  "#1016186/dm_ghostModules",
  "#1016184/firstIntAsString",
  "#1016182/selectDynModuleID",
  "#1016180/setSnippetType",
  "#1016179/snippetType_dynModule",
  "#1016178/exitOnClose",
  "#1016177/jxBrowserStandardContext",
  "#1016173/uploadFileToImageServer",
  "#1016171/timeToNextLocalMinute",
  "#1016168/isEmptyContainer",
  "#1016167/isEmptyFrame",
  "#1016162/jxBrowser_init",
  "#1016158/assertExists",
  "#1016157/addLibrary",
  "#1016156/addLibraryToCurrentProgram",
  "#1016154/dm_showInvisibleModulesList",
  "#1016152/doublePercentRatio",
  "#1016149/setJavaxDefaultProgram",
  "#1016148/javaxDefaultProgram",
  "#1016147/renderAllThreadsWithStackTraces",
  "#1016144/ai1_howMany",
  "#1016143/getEmits",
  "#1016141/emit",
  "#1016140/ai1_reduceMultiHave",
  "#1016139/lookupStandardFunction",
  "#1016137/ai_saySomethingAboutScreenSize",
  "#1016135/oshi_hardware",
  "#1016111/dm_makeOrShowModule",
  "#1016134/setOpaqueBackground",
  "#1016133/getBackground",
  "#1016131/dm_listStems",
  "#1016128/rstWithDelay",
  "#1016127/dm_getStem",
  "#1016126/dm_moduleName",
  "#1016125/dm_showModule",
  "#1016124/dm_isVisible",
  "#1016119/internalFrameActive",
  "#1016115/bindBotToComponent",
  "#1016114/jscroll_trackWidth",
  "#1016113/doNothingOnClose",
  "#1016111/dm_makeModule",
  "#1016110/lookup_first",
  "#1016109/dropAfterSlash",
  "#1016108/verticalNiceButtons",
  "#1016106/niceButtons_maxImageSize",
  "#1016104/moduleLibraryForNiceButtons",
  "#1016103/litmapOrNull",
  "#1016102/filesForNiceButtons_put",
  "#1016100/safeUnstructureGZFile",
  "#1016099/disableAllButtonsInWindow",
  "#1016098/conceptBackupFiles",
  "#1016097/showMaximizedFrame_returnContent",
  "#1016096/cleanExitOnFrameClose_ifStillInSameFrame",
  "#1016094/isFullScreen",
  "#1016093/defaultScreenDevice",
  "#1016090/registerEscape_rootPane",
  "#1016086/nullFalseTrue",
  "#1016085/isNotebookLidOpen",
  "#1016084/stefansCountdown_value",
  "#1016080/jRightAlignedLine2",
  "#1016079/formLayouter_rightAligned",
  "#1016078/layouting_bigOnes",
  "#1016077/jCenteredLiveValueLabel",
  "#1016076/isExactType",
  "#1016075/filterByExactType",
  "#1016072/jrightalignedbutton",
  "#1016071/setHorizontalAlignment",
  "#1016070/jlabel_fixImages",
  "#1016069/jlabel_centerHTML",
  "#1016068/jCenteredHTMLLabel",
  "#1016064/beforeSlash_orAll",
  "#1016063/isMyDBRunning",
  "#1016061/getJavaXDirectly",
  "#1016059/javaOnPATH",
  "#1016057/javax_prepareX30SourceForDeployment",
  "#1016056/makeManifestWithMainClass",
  "#1016055/youtubeDownloadVideo",
  "#1016052/indexFilesByName",
  "#1016050/allPrintBuffers",
  "#1016048/deleteYouTubeDLExecutable",
  "#1016047/embedYoutube_autoplay",
  "#1016043/replaceTreeNodeChildren_withDummyChild",
  "#1016044/jDynamicTree",
  "#1016042/enumerationToIterator",
  "#1016041/rectPointDistance",
  "#1016040/rectDistance",
  "#1016039/dm_closestModule",
  "#1016038/dm_getVisualization",
  "#1016036/replaceTreeNodeChildren",
  "#1016032/imageToTiles",
  "#1016031/rectMinSize",
  "#1016030/castToString",
  "#1016029/lastAnimationShown",
  "#1016028/onConceptsChange",
  "#1016027/cleanUpObjectAndItsMainClass",
  "#1016024/dm_grabInterestingString",
  "#1016023/remoteMechListMirrorFile",
  "#1016021/mechList_verboseLoading",
  "#1016019/muricaCredentialsPlus",
  "#1016018/md5OrNull",
  "#1016017/mechList_anyCachedVersion",
);