static L standardFunctions = litlist( "#1032613/closeAfterRemove", "#1032614/remove_trueIfChanged", "#1032611/tok_shortLambdas", "#1032612/test_tok_shortLambdas", "#1032610/pLikeDiv", "#1032609/nsToSeconds", "#1032608/renderElapsedNanosPleasantly", "#1032607/renderElapsedSecondsPleasantly", "#1032605/testThreadCancellation", "#1032606/toMS_noPing", "#1032604/yahooImageSearchURL", "#1032603/js_replaceHTML", "#1032602/withoutStartingWith", "#1032601/sfuIndent", "#1032600/setMeta", "#1032599/htmlFullDecode", "#1032597/regexpExplainLink", "#1032596/test_sfuWithIndent", "#1032595/rclamp", "#1032594/test_JSONSpecialIntegral", "#1032593/elementSize", "#1032591/byteArrayBitSet_new", "#1032590/test_SpecialCharsHierarchicalBitMap", "#1032589/isUByte", "#1032588/lengthLevel2_byteArrays", "#1032587/lengthLevel2_intArrays", "#1032586/sfuWithIndent", "#1032585/ld_iceil", "#1032584/ld_ceil", "#1032582/currentFiber", "#1032581/threadToFiberMap", "#1032579/syncWeakMap", "#1032576/collectMapValues_gen", "#1032575/jsonIndent", "#1032574/jsonParse", "#1032573/jsonReindent", "#1032572/first_gen", "#1032571/rgenget", "#1032570/joinIntRanges", "#1032569/emptyIntRange", "#1032568/linesStartingWithAny", "#1032567/uploadText", "#1032566/serveTextOrHTML", "#1032565/addDotIfNempty", "#1032564/dropLeadingDots", "#1032563/jsonKeyTree", "#1032562/castMapToMapO", "#1032560/getMultipleKeys_ordered", "#1032559/collectMultipleKeys_ordered", "#1032558/collectMultipleKeys", "#1032557/javaxSourceToHTML", "#1032556/rmapGet", "#1032554/getRedirectDestination", "#1032553/getResponseHeaders", "#1032552/linux_gsettings_keysForSchema", "#1032551/linux_gsettings_allSchemas", "#1032550/js_autofocusCaretToEnd", "#1032549/addToSet_create", "#1032548/createOrAddToSet", "#1032547/jsRequiringJQuery", "#1032546/serveCSS", "#1032544/randomIDForPageElement", "#1032542/jsonEncode_extended", "#1032540/test_replaceDollarVars_js", "#1032539/oddL", "#1032537/dnsLookup", "#1032536/tok_getFromMap", "#1032533/backtickVerbose", "#1032532/jsonMap", "#1032528/dm_screenShootWebsite", );