static L<S> standardFunctions = litlist(
  "#1016006/waitUntilSysTime",
  "#1016004/stefansOS_loadingAnimation",
  "#1016003/jCenteredButton",
  "#1016002/putClientProperty",
  "#1016001/putClientProperty_recursive",
  "#1016000/neqGet",
  "#1015999/tokenIndexWithoutIfclass_forStdClasses",
  "#1015997/scrollableImageSurface",
  "#1015994/isGIF",
  "#1015993/setOptMC",
  "#1015992/hasGIFExtension",
  "#1015991/loadBufferedImageFixingGIFs",
  "#1015989/snippetTitle_cached",
  "#1015986/dropSuffixICOneOf",
  "#1015985/dropSuffixICTrimOneOf",
  "#1015984/parseEqualParameters",
  "#1015982/snippetWithTitle_cached",
  "#1015980/mapMultiSet",
  "#1015979/centralRestartLogSince_raw",
  "#1015976/allCacheVars",
  "#1015974/addToListWithMaxSize",
  "#1015972/isValidEmailAddress",
  "#1015971/dm_fieldLiveValue",
  "#1015969/centerBoldLabel",
  "#1015968/unixTime_startOfToday",
  "#1015966/jDesktopPaneWithSkyPicture_autoUnload",
  "#1015964/unlistedCopy",
  "#1015963/internalFrameTitlePopupMenuItems",
  "#1015962/castForTemp",
  "#1015961/dm_getModule",
  "#1015958/_handleException_addHandler",
  "#1015957/dm_initErrorHandling",
  "#1015956/raiseFlagAndDo",
  "#1015955/dm_currentModule",
  "#1015952/_handleException",
  "#1015950/inputDirPath",
  "#1015949/addItemListener",
  "#1015947/ewicOneOf",
  "#1015946/hasJPEGExtension",
  "#1015945/isJPEGFile",
  "#1015944/activateInternalFrame",
  "#1015943/isConceptRegistered",
  "#1015942/dm_moduleStillThere",
  "#1015940/dm_listModules",
  "#1015938/fileNamesInDirToFile",
  "#1015937/filterOrNull",
  "#1015936/castCall",
  "#1015935/dm_findMateOfType",
  "#1015934/createTempDir",
  "#1015932/testJDKWatchService",
  "#1015931/expectException",
  "#1015928/allJDKSourceFileNames",
  "#1015927/jdkSrcZip",
  "#1015926/fiveSeconds",
  "#1015924/makeProgramDir",
  "#1015921/yesNoComboBox",
  "#1015920/onSelectedItem",
  "#1015918/shortClassNames",
  "#1015917/nonAbstractClassesInRealmImplementing",
  "#1015914/oshi_currentProcessResidentSize",
  "#1015913/oshi_operatingSystem",
  "#1015911/oshi_currentProcess",
  "#1015910/tailFile_future",
  "#1015909/lastRunTable_addRunAction",
  "#1015908/uneditableTableWithData",
  "#1015906/lastRunTable_update",
  "#1015905/lastRunTable_addProgramTitles",
  "#1015904/snippetImageURL_noHttps",
  "#1015903/jDesktopPane",
  "#1015901/internalFrameIcon",
  "#1015900/scrollableJavaxSyntaxTextAreaOrNull",
  "#1015896/stringLiveValue",
  "#1015895/jLiveValueSection",
  "#1015894/newWeakIdentityHashSet",
  "#1015893/cancelTimers",
  "#1015890/fillJPopupMenu",
  "#1015889/addMenuItems",
  "#1015888/titlePopupMenu_top",
  "#1015887/parseGoogleLog",
  "#1015881/addStdClass",
  "#1015884/addToStdClassesList",
  "#1015883/standardClassesMap_uncached",
  "#1015882/startsWithJavaIdentifierStart",
  "#1015880/addStdClassWithAnimation",
  "#1015879/setInternalFrameTitle",
  "#1015878/jCancelButton",
  "#1015877/rClickButton",
  "#1015875/showGoogledImageInFrame",
  "#1015874/callF_returnTrueIfNoException",
  "#1015873/selectFromList",
  "#1015872/disableButtonWhileCalcing2",
  "#1015870/dm_getInterestingString",
  "#1015868/standardClassesMap_cached",
  "#1015864/paintSkyBackground",
  "#1015863/jDesktopPaneWithSkyPicture",
  "#1015862/googleLog",
  "#1015861/onlyEvery10Secs",
  "#1015860/javaxSavedSessionsDir",
  "#1015859/firstLineFromGZTextFile",
  "#1015858/getCanonicalFile",
  "#1015857/deleteAllProgramFiles",
  "#1015855/firstLineFromFile",
  "#1015854/md5FromUniqueFile",
  "#1015853/md5length",
  "#1015852/onDoubleClickAndEnter",
  "#1015850/onDoubleClickThreaded",
  "#1015849/rThreadPcallMessageBox",
  "#1015848/tablePopupMenuItemsThreaded",
  "#1015847/getSystemProperty",
  "#1015845/sourceCodeOfJDKClass",
  "#1015844/synchronizedTreeMap",
  "#1015841/synchronizedMap",
  "#1015839/listToMapsWithSingleKey",
  "#1015838/atomicFlipVarToFalse",
  "#1015837/atomicFlipVarToTrue",
  "#1015836/rSetVarToTrue",
  "#1015835/notifyingList",
  "#1015832/callCreatorOpt",
  "#1015831/onInternalFrameIconified",
  "#1015830/internalFrameTitlePopupMenuItem",
  "#1015829/javaxSourceOfMyClass1",
  "#1015828/joinOrNull",
  "#1015827/jLiveValueWordWrapTypeWriterTextArea",
  "#1015826/listPopupMenuItemsThreaded",
  "#1015825/findInstanceMethod",
  "#1002795/findMethod_checkArgs",
  "#1015822/internalFrameTitle",
  "#1015821/bindTextComponentToLiveValue",
  "#1015820/jLiveValueTextArea",
  "#1015819/internalFrameTitlePopupMenu",
  "#1015818/getInternalFrameTitlePaneComponent",
  "#1015817/scanForComponentsByShortName",
  "#1015816/childrenOfTypeShortNamed",
  "#1015815/childOfTypeShortNamed",
  "#1015813/disposeInternalFrame",
  "#1015812/csetAndReturn",
  "#1015811/jLiveValueLabel",
  "#1015807/allNonStaticNonTransientFields",
  "#1015806/simpleConceptIndex",
  "#1015805/sortedAlphaNum",
  "#1015804/onInternalFrameClosing",
  "#1015802/identityHashSet",
  "#1015801/allEmbeddingObjects",
  "#1015799/listWithMultiNotify",
  "#1015797/packInternalFrame",
  "#1015796/packInternalFrameVertically",
  "#1015793/jPreferredHeight",
  "#1015792/jscroll_dynamicvstack",
  "#1015791/maxNumberOfMethodArguments",
  "#1015790/maxNumberOfFunctionArguments",
  "#1015789/temp_ai_startBuffering",
  "#1015788/tempProfileBlock",
  "#1015787/profilePoint",
  "#1015784/dynamicVStack2",
  "#1015786/removeAllComponents",
  "#1015785/addAndValidate",
  "#1015781/scrollableJavaxSyntaxTextArea",
  "#1015782/iPanel_standardFunctionSourceCode",
  "#1015779/javaxSyntaxTextArea",
  "#1015778/iPanel_renderSafeFunction",
  "#1015777/pcall_myFirewallIP",
  "#1015776/addToMechHashMap",
  "#1015775/botAppendToMechList_mode",
  "#1015774/botAppendToMechList_uniq",
  "#1015773/keysWithValueContainingSubstring",
  "#1015772/centerAndSouthWithMargins",
  "#1015771/exceptionInTextArea",
  "#1015769/extractAndPrintJavaParseError",
  "#1015768/printParseErrorInTranspiledSource",
  "#1015767/identifierSafetyEditPanel",
  "#1015766/currentAICPUAllowance",
  "#1015764/containsAnythingNeq",
  "#1015763/simplifySafetyTags",
  "#1015762/checkStandardFunctionForSafety",
  "#1015761/standardFunctionComboBox",
  "#1015760/setContainsSet",
  "#1015759/rstTrigger",
  "#1015758/mechHashMap_fresh",
  "#1015757/makeBotIfMain",
  "#1015755/mapPut_trueIfChanged",
  "#1015754/uploadMechMap",
  "#1015753/jminwidth",
  "#1015752/mapWithSingleValue",
  "#1015751/asHashMap",
  "#1015750/mechHashMap",
  "#1015749/id",
  "#1015748/printParseErrorInTranspiledSnippet",
  "#1015746/tok_allIdentifiers",
  "#1015744/loadConceptsFromFile",
  "#1015742/setMaxFileSizeAllowedToReadInThread",
  "#1015741/checkFileNotToBigTooRead",
  "#1015741/checkFileNotTooBigToRead",
  "#1015740/northAndCenterWithMargins",
  "#1015739/applyDefaultMargin",
  "#1015737/standardBotsToRun",
  "#1015736/disableButtonWhileCalcing",
  "#1015734/humanizeFormLabel",
  "#1015732/jAutoSnippetTitle",
  "#1015731/snippetIDChooser",
  "#1015730/printStructIndent",
  "#1015728/jmenu_autoMnemonic",
  "#1015727/singletonOpt",
  "#1015724/doPostJSON",
  "#1015713/activateFrameAndReturnComponent",
  "#1015712/setFrameIconNow",
  "#1015710/doLater",
  "#1015708/correctSpeechInput",
  "#1015706/objectsWhere",
  "#1015705/newDaemonThread",
  "#1015704/startDaemonQ",
  "#1015702/bot_ensureNotRunning",
  "#1015701/ensureBotNotRunning",
  "#1015700/hideVMShowingConsole",
  "#1015698/mechAppendQ_noUniq",
  "#1015696/murica_pretendNotAuthed",
  "#1015695/webSocketOnMessage_withIdler",
  "#1015694/timeJumpLog",
  "#1015693/failureLog",
  "#1015692/successLog",
  "#1015691/logStructWithDate",
  "#1015690/recordSuccessOrFailure",
  "#1015689/ocr_clearLinesBelowMinScore",
  "#1015687/sortedByFields",
  "#1015685/webSocketButterBot",
  "#1015683/mechVersionsLog",
  "#1015682/dropSecondIfEmpty",
  "#1015681/waitWhileShowing",
  "#1015680/currentHotKey_orChoose",
  "#1015679/hotKey_type_orChoose",
  "#1015678/showSuggestion_possibleMaster",
  "#1015676/unwrapTrivialExceptionWraps",
  "#1015675/imageIO_readURL",
  "#1015673/addToWindowLeft",
  "#1015672/jimage",
  "#1015671/mechQ_noUniq",
  "#1015667/showChangeHotkeyForm",
  "#1015668/nullIfEq",
  "#1015666/currentHotKey",
  "#1015665/hotKey_type",
  "#1015664/katze_userTyped",
  "#1015663/charToKeyCode",
  "#1015662/pressAltChar",
);