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