static L<S> standardFunctions = litlist(
  "#1032365/emptydiv",
  "#1032362/divs",
  "#1032359/hjs_registerAltGrG",
  "#1032360/hCenterOverlay",
  "#1032358/hTopLeftCornerDiv",
  "#1032357/hTopRightCornerDiv",
  "#1032356/dm_bot_execFreshRealEval",
  "#1032355/htmlDemo",
  "#1032354/js_nodeScriptReplace",
  "#1032353/hactionButton",
  "#1032352/tempPlaywrightWithChromium",
  "#1032351/playwrightWithChromium",
  "#1032348/centerRectInRect",
  "#1032347/cropToSquare",
  "#1032346/getLinuxMintVersion",
  "#1032345/subBot_serveFileRange",
  "#1032344/subBot_serveRangeNotSatisfiable",
  "#1032343/serveRangeNotSatisfiable",
  "#1032342/subBot_servePartialContent",
  "#1032341/servePartialContent",
  "#1032340/toMB_str",
  "#1032338/downloadedVideoDir",
  "#1032337/tok_dropImports",
  "#1032336/hnonamecheckbox",
  "#1032335/jsDollarVars",
  "#1032334/randomChoice",
  "#1032333/js_setTitle",
  "#1032332/js_dollarVars",
  "#1032331/eqOrEqic",
  "#1032330/js_appendToDiv",
  "#1032329/installFFMPEGIfMissing",
  "#1032328/linux_installFFMPEGIfMissing",
  "#1032327/dm_youTubeSearch",
  "#1032325/fileSepToSlashes",
  "#1032324/replace_optimized",
  "#1032323/nameRelativeToPhysicalSubdirectory_slashes",
  "#1032322/js_setDivContents",
  "#1032321/hinputtag",
  "#1032320/emptyDiv",
  "#1032319/replaceDollarVars_js",
  "#1032318/linux_vlcExclusive",
  "#1032317/isPossibleJSONMap",
  "#1032315/youTubeSearch",
  "#1032314/exists",
  "#1032313/youTubeSearch_uncached",
  "#1032312/parseJSONMap",
  "#1032310/downloadedAudioDir",
  "#1032309/downloadAudio",
  "#1032308/md5FileName",
  "#1032307/youTubeSearch_all",
  "#1032305/urlParam",
  "#1032304/htmldecode_dropTagsAndComments_trim",
  "#1032303/playwrightOpenPage",
  "#1032302/playwrightChromium",
  "#1032301/tempPlaywright",
  "#1032299/linux_installFirefox",
  "#1032298/youTubeDLDefaultFileNameTemplate",
  "#1032296/roundBracketIf",
  "#1032295/tok_insertCast",
  "#1032294/doubleEq",
  "#1032292/metaMapWeakPut",
  "#1032291/metaMapGet",
  "#1032290/hjs_makePageID",
  "#1032288/userDir_oneOf_createFirstIfNone",
  "#1032287/linux_installVLC",
  "#1032286/linux_installFFMPEG",
  "#1032285/backtickSudo",
  "#1032284/syncGetAndClear",
  "#1032282/openURL",
  "#1032281/jsonEvalMsg",
  "#1032280/js_reloadPage",
  "#1032279/hemptydiv",
  "#1032278/syncWeakSet",
  "#1032277/hemptytag",
  "#1032276/hcanvas",
  "#1032275/test_tok_insertAFewSpaces",
  "#1032274/tok_insertAFewSpaces",
  "#1032273/subListEq",
  "#1032269/linux_recordAudioOutput",
  "#1032271/userDir_oneOf",
  "#1032270/musicDir",
  "#1032266/hreconnectingWebSockets_snippetID",
  "#1032265/isImmutableSnippet",
  "#1032263/isRelativeOrAbsoluteURL",
  "#1032262/isRelativeURL",
  "#1032261/tok_endOfExpression",
  "#1032260/test_tok_ifCast",
  "#1032259/hAnimateCSS",
  "#1032257/ushortToInt",
  "#1032256/assertImagesIdentical",
  "#1032255/firstDifferingPixel",
  "#1032254/getPixel",
  "#1032253/assertSameSize",
  "#1032252/iceil_divideByPowerOfTwo",
  "#1032249/jreplace_dyn_allowNull",
  "#1032251/test_jreplace_dyn_allowNull",
  "#1032245/addToDoubleValueMap",
  "#1032244/fromPointSet",
  "#1032243/ptTree",
  "#1032242/test_PtTree",
  "#1032241/intersectRect",
  "#1032240/containsPt",
  "#1032239/step",
  "#1032238/repFToSet",
  "#1032237/dm_imageFromWebcam",
  "#1032236/sortedBy",
  "#1032235/half",
  "#1032234/ptCoord",
  "#1032233/maxY",
  "#1032232/minY",
  "#1032231/maxX",
  "#1032230/minX",
  "#1032228/edgeDetectorConfig1",
  "#1032227/allClassesInSnippet",
);