static L<S> standardFunctions = litlist(
  "#1015652/machineTime",
  "#1015651/vf1_distribute",
  "#1015647/onUserUtterance_addHandler",
  "#1015649/sendToSuggestionMaster",
  "#1015648/tok_scopes",
  "#1015646/rpcCallMyMethod",
  "#1015645/rpcNoArgs",
  "#1015644/formatFunctionCall",
  "#1015643/defaultMethodsBotName",
  "#1015642/firstButton",
  "#1015641/showSuggestion_individual",
  "#1015640/showSuggestion_master",
  "#1015639/startBotAndSend",
  "#1015638/showSuggestionInSuggestionMaster",
  "#1015637/defaultBotName",
  "#1015636/quickEvalAll",
  "#1015635/quickEval",
  "#1015634/canQuickEval",
  "#1015633/canQuickEvalAll",
  "#1015632/incAtomicInt",
  "#1015630/optimizedJavaEval",
  "#1015628/unstructFile",
  "#1015626/watchFile",
  "#1015625/unCurlyBracket",
  "#1015624/isCurlyBracketed",
  "#1015620/timeJumpDetector",
  "#1015618/elapsedSeconds",
  "#1015617/expectTimeJump",
  "#1015614/drawText",
  "#1015613/drawArrowBetweenPoints",
  "#1015612/middleOfY",
  "#1015611/middleOfX",
  "#1015610/rectMiddleX",
  "#1015609/clickFirstButton",
  "#1015608/isComponentShowing",
  "#1015607/drawArrowBetweenRects",
  "#1015606/tokenToCharRange",
  "#1015605/textComponent_substringRect",
  "#1015604/setTextCaret0",
  "#1015603/moveCaretToStart",
  "#1015602/endingWith",
  "#1015601/sentencesAfterLines_withPeriodOnly",
  "#1015600/splitIntoSentences_withPeriodOnly",
  "#1015598/vf1_frameAutoRequestFocusFalse",
  "#1015596/showAnimationForAddStdFunction",
  "#1015595/addStdFunctionWithAnimation",
  "#1015594/recognizeAndTeachCurrentScreen",
  "#1015593/cleanUpVar",
  "#1015592/getMC",
  "#1015590/windowToBack",
  "#1015586/showSuggestion",
  "#1015587/hideSuggestion",
  "#1015585/makeFirstButtonBold",
  "#1015584/fontSizeAll",
  "#1015583/jCenteredMultiLineLabel",
  "#1015582/makeUneditable",
  "#1015581/showPackedFrameInBottomRightCorner",
  "#1015580/jcenteredTextPane",
  "#1015577/showWindowInBottomRightCorner",
  "#1015575/setTextSelectAll",
  "#1015574/makeSFSynonym",
  "#1015573/snippetType_JavaXInclude",
  "#1015572/tok_lastIdentifier",
  "#1015570/lastIdentifier",
  "#1015571/tok_dropFinal",
  "#1015569/tok_parseArgsList",
  "#1015568/joinWithEmptyLines",
  "#1015566/onFrameClosing",
  "#1015565/cleaningUp",
  "#1015562/usualJavaClassNames",
  "#1015561/selectFile",
  "#1015559/deepWords",
  "#1015558/concatListsToSet",
  "#1015555/mapLiveValue",
  "#1015552/getCaretPosition",
  "#1015551/tempMiniLoadingAnim",
  "#1015548/tok_toNonPrimitiveTypes",
  "#1015547/mapFromTokens",
  "#1015546/setScrollBarValue",
  "#1015545/scrollBarValue",
  "#1015542/onEnterIfTextField",
  "#1015541/selectStandardFunction",
  "#1015538/mapToArrayOfType",
  "#1015540/mapToIntArray",
  "#1015539/toArrayOfType",
  "#1015536/rectsWithTallerShapeThan",
  "#1015535/rectYToXRatio",
  "#1015534/areasColoredOneOf",
  "#1015533/rgbAllPixelsInAreaEqualToOneOf",
  "#1015532/runningBotsForNiceButtons",
  "#1015529/infoBox_centeredText",
  "#1015528/writeBesideMemoryView",
  "#1015527/rectWidth",
  "#1015526/getAndClearList",
  "#1015525/removeAndReturn",
  "#1015524/toPoint",
  "#1015523/limitPtToRect",
  "#1015521/rectEmpty",
  "#1015520/containsColor",
  "#1015518/elapsedMS",
  "#1015517/putBesideMemoryView",
  "#1015516/consoleMemoryView",
  "#1015510/ocr_makeTerminalGrid",
  "#1015513/ocr_terminalContents",
  "#1015512/mapTwoLevelsDown",
  "#1015511/makeGridOfRects2",
  "#1015509/floatRatio",
  "#1015508/bwAutoContrastAllRects",
  "#1015507/bwAutoContrast",
  "#1015506/ocr_unknownCharacterPlaceholder",
  "#1015504/ocr_terminalInvert1",
  "#1015502/makeGridOfRects",
  "#1015500/jverticalLiveSlider",
  "#1015498/sliderWithValueLabel",
  "#1015496/jliveSlider",
  "#1015494/ocr_findTerminalBackground",
  "#1015490/rgb332",
  "#1015489/dropOverlappingRects",
  "#1015488/rgbContrastAndBrightness",
  "#1015486/unixTerminalDollarFinder4",
  "#1015484/unixTerminalDollarFinder3",
  "#1015483/unixTerminalDollarFinder2",
  "#1015482/findImageAll2",
  "#1015480/moveMouseTo_slowly",
  "#1015478/moveMouseSlowly",
  "#1015477/unixTerminalDollarFinder",
  "#1015476/rectSizeIs",
  "#1015475/rectsWithSize",
  "#1015474/simpleRecognizer",
  "#1015473/rectsContaining",
  "#1015471/rectMiddleY",
  "#1015470/sortRectsByMiddleY",
  "#1015469/minusZeroPlus",
  "#1015467/showZoomedScreenClipInPlace",
  "#1015465/rgb",
  "#1015463/ocr_filterByMinScore",
  "#1015461/adjustDouble",
  "#1015460/ocr_minScoreAdjust",
  "#1015459/ocr_minScore",
  "#1015458/bufferedImageContrastAndBrightness",
  "#1015454/rTrigger",
  "#1015453/containsKey",
  "#1015452/makeUnimportantWindow",
  "#1015451/killProgram",
  "#1015450/coresToUse_fixed",
  "#1015449/hideConsoleOnFirstFrame",
  "#1015448/dropRectsLargerThan",
  "#1015447/currentThreadID",
  "#1015446/parallelMap2",
  "#1015445/chunksOf",
  "#1015443/scaleBufferedImageToMaxPixels",
  "#1015442/ocr_slimFullSearchMap",
  "#1015441/stdcmp",
  "#1015440/bwImagePixels",
  "#1015439/bwImageSizeComparator",
  "#1015438/orderMapByComparator",
  "#1015436/mL_setCacheTime",
  "#1015435/scaleBufferedImage",
  "#1015434/makeWindow",
  "#1015433/jImageLabel",
  "#1015431/showImage_hcentered",
  "#1015430/jImageSurface",
  "#1015429/quickShowImage_isFirst",
  "#1015428/alwaysOnTopFrame",
  "#1015427/similarEmptyMultiSet",
  "#1015426/mostPopularEntriesFromMultiMap",
  "#1015425/multiSetSetIntersection",
  "#1015424/inflateSizeAccordingToMultiSet",
  "#1015423/countIntersection",
  "#1015421/asCIMultiSet",
  "#1015420/fileServerURL",
  "#1015419/latestFileOnServerNamed",
  "#1015418/uploadFileToFileServer",
  "#1015417/tempGraphicsTransform",
  "#1015414/unquoteWholeLog",
  "#1015413/mergeLinesIntoGlyphTeachLog",
  "#1015412/extractFileFromZipVerbose",
  "#1015411/dirContainsFile",
  "#1015410/isImageFileName",
  "#1015407/parentFile",
  "#1015406/appendToFileNameBeforeExtension",
  "#1015405/addDateWithMinutesToFileName",
  "#1015403/copyFileToFileVerbose",
  "#1015402/tempDisposeWindow",
  "#1015401/smallLoadingAnim",
  "#1015400/classForNameOpt",
  "#1015399/isSubclassOf",
  "#1015398/assertNotASubclassOfConcept",
  "#1015397/showImageWithRecognizedTexts_makeTeachable2",
  "#1015395/ocr_teachPhraseForm",
  "#1015396/analyzeGrabbedImage",
  "#1015394/selectAllLater",
  "#1015393/showImageWithRecognizedTexts_makeTeachable",
  "#1015392/addToNavPossiblyOnTop",
  "#1015391/chainRunnables_pcall",
  "#1015390/isImageFile",
  "#1015388/startDeQ",
  "#1015386/loadPreviewImageWithExactHeight",
  "#1015385/scaleBufferedImageToHeight",
  "#1015384/mapAndRecordToMap_reversed",
  "#1015383/weakIdentityHashMap",
  "#1015382/innerMessage",
  "#1015381/lineRange",
  "#1015379/loadPreviewImage",
  "#1015378/mapAndRecordToMap",
  "#1015377/add_byContains",
  "#1015375/weakIdentityHashSet",
  "#1015373/weakHashSet",
  "#1015372/stackElementsShowing",
  "#1015371/boundsInParent",
  "#1015370/getParentOfType",
  "#1015369/scrollPaneOnScroll",
  "#1015368/printLength",
  "#1015367/fileDateComparator",
  "#1015366/filesForNiceButtons",
  "#1015365/genericUI_openFile",
  "#1015363/jWiderScrollPane",
  "#1015362/showNiceVerticalButtons",
  "#1015090/makeNiceButtons_usingStack",
  "#1015361/centerTextInRect",
  "#1015360/zip_addFilesInBaseDir",
  "#1015359/copyFileToStream",
  "#1015358/zip_addFileInBaseDir",
  "#1015356/renderFileInfo",
  "#1015355/screenClipFilesContainedInMD5Set",
  "#1015354/intersectMapWithSetByKey",
  "#1015352/iota",
  "#1015351/filterIterator",
  "#1015349/requiredPhraseImageMD5s",
  "#1015350/addUnlessNull",
  "#1015348/md5Regexp",
  "#1015347/splitAroundColon_toPair",
  "#1015345/insertListItem",
  "#1015344/onMouseExit",
  "#1015343/snippetWithTitle_rev",
  "#1015341/jextractSerializedObject",
  "#1015340/loadSnippet_cached",
  "#1015339/unstructMapField",
  "#1015338/tailFileDefaultInterval",
  "#1015336/onLocalMechAppend",
  "#1015335/appendToLocalMechLog",
  "#1015334/cloneWithoutField",
  "#1015332/defaultProgramIcon",
  "#1015331/latestProgramsForNiceButtons",
  "#1015330/latestPrograms",
  "#1015329/snippetType_JavaXDesktop",
  "#1015328/recentlyChangedSnippetsOfType",
  "#1015327/onNewFileInDirWithExtension",
  "#1015326/jpegifyWithInfoBoxes",
  "#1015325/jpegifyWithInfoBox",
  "#1015324/dirOfFile",
  "#1015323/saveJPGVerbose",
  "#1015322/fileExtensionIs",
  "#1015320/moveFile",
  "#1015319/moveFileVerbose",
  "#1015318/makeFileNameUnique",
  "#1015317/jpegify",
  "#1015316/toFileOpt",
  "#1015314/onNewFileInDir",
  "#1015313/selectDir",
  "#1015312/waitForVarToBeNotNull",
  "#1015311/userDesktopDir",
  "#1015310/userDesktopDirPointerFile",
  "#1015308/sortFilesByDateDesc",
  "#1015307/bufferedImageSizeWithStar",
  "#1015306/colonPortUnless80",
  "#1015305/nohupJavaxHeadless",
  "#1015304/antiAliasOn",
  "#1015303/repaint",
  "#1015302/showImageWithRecognizedTexts",
  "#1015300/repaintIf",
  "#1015299/setVarIfNeq",
  "#1015298/endsWithNewLine",
  "#1015297/addSeparator",
  "#1015296/appendToTextFile_uniq",
  "#1015295/smartLastIndexOf",
  "#1015294/fileExtension",
  "#1015293/changeExtension",
  "#1015292/componentPopupMenu_top",
  "#1015291/addPopupMenuItem",
  "#1015289/imageSurfacePopupMenuWhenHighlighted_top",
  "#1015288/setSelectedIndex",
  "#1015287/jlistSize",
  "#1015286/onImageSurfaceHighlightChange",
  "#1015285/onSelectionChangedAndNow",
  "#1015284/addListItem",
  "#1015283/onSelectionChanged",
  "#1015282/jcenteredimage",
  "#1015279/makeFakeSingleComponentPanel",
  "#1015281/f0_const",
  "#1015280/jnavigation",
  "#1015277/listPNGFiles",
  "#1015273/ocr_recognizeMultiLine_scored",
  "#1015274/averageScore",
  "#1015272/scored",
  "#1015271/fullScored",
  "#1015270/getScore",
  "#1015269/getVar",
  "#1015267/onlyStringsLongerThan",
  "#1015264/printAndConsoleSize",
  "#1015265/tok_kiloConstants",
  "#1015262/tokenizedSnippetDB",
  "#1015261/showButton",
  "#1015260/preload",
  "#1015258/join_gen",
  "#1015257/fromUtf8OrTokenList_generic",
  "#1015254/totalLength",
  "#1015253/loadSnippetsDBForAnalysis",
  "#1015252/unquoteUsingCharArray",
  "#1015250/instanceFieldsMap",
  "#1015248/parseHexChar",
  "#1015247/doneProfiling",
  "#1015246/startProfiling",
  "#1015244/countUniquesCI",
  "#1015243/addAllAndReturn",
  "#1015240/onSpeechRecognized_fromStart",
  "#1015239/topLeftInfoBox",
  "#1015238/onEnterAndDoubleClick",
  "#1015237/growFrameSouth",
  "#1015236/packFrameVertically",
  "#1015234/assertBWImagesIdentical",
  "#1015231/screenClipFiles",
  "#1015229/isLowerHexChar",
  "#1015228/isValidMD5",
  "#1015227/aggressivelyCollectPossibleMD5sInTextFile",
  "#1015226/addIfPossibleMD5",
  "#1015225/aggressivelyCollectPossibleMD5s",
  "#1015224/glyphTeachLog",
  "#1015223/saveScreenClip",
  "#1015222/ocrMD5OfBWImage",
  "#1015221/textClipFileForMD5",
  "#1015220/asLinkedHashMap",
  "#1015219/ocrCharGroupingHelpText",
  "#1015218/packWindowVertically",
  "#1015217/onGlobalHotKey",
  "#1015216/selectedItem",
  "#1015215/jComboBox",
  "#1015213/hotKey_file",
  "#1015212/hotKey_teach",
  "#1015211/selectItem",
  "#1015210/jNativeHook_keyCodes",
  "#1015208/biggerSubmitButton",
  "#1015207/selectRange",
  "#1015206/ratioToIntPercent_avoid100",
  "#1015205/or3",
  "#1015204/nullUnlessValidMD5",
  "#1015203/md5FromScreenClipFile",
  "#1015201/keepOnlyCommentedScreenClips",
  "#1015200/ocrMD5OfBufferedImage",
  "#1015199/imageChooser",
  "#1015197/unquotingLineBuffer",
  "#1015193/appendToFileName",
  "#1015192/addThingOnScreenDefinition",
  "#1015190/screenClipCommentsFile",
  "#1015189/hashMapFromLogFile",
  "#1015188/printStructLines",
  "#1015186/disposeWindowAfter_unlessMouseInIt",
  "#1015185/showTempWindowInTopRightCorner",
);