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