static L<S> standardFunctions = litlist(
  "#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",
);