static L<S> standardFunctions = litlist(
  "#1014951/renderBackgroundPlusBoxes",
  "#1014947/randomUpperCaseLetterNotEqualTo",
  "#1014948/randomLetterImage",
  "#1014794/selectSnippetID_v1",
  "#1014946/addToWindowPack_keepWidth",
  "#1014945/enlargeFrameLeftAndRight",
  "#1014944/getBounds",
  "#1014943/enlargeFrameLeftAndBottom",
  "#1014942/drawRect",
  "#1014941/replaceRandomElement",
  "#1014940/toColor",
  "#1014938/isVisibleFrame",
  "#1014937/myVisibleFrames",
  "#1014936/arrayOfType",
  "#1014935/coActivateAllMyFrames",
  "#1014934/jcenteredboldlabel",
  "#1014932/pairBNotNull",
  "#1014931/hextracttag",
  "#1014930/aPutViewBehindOtherView",
  "#1014929/whereLeadingSquareBracketStuffContains",
  "#1014928/defaultIndent",
  "#1014927/printLinesIndent",
  "#1014926/getBotMandatory",
  "#1014924/mL_onServer_rawListText_opt",
  "#1014921/serveLongPoll",
  "#1014920/aClearConsole",
  "#1014919/aVerticalExpander",
  "#1014918/aHideKeyboard",
  "#1014917/aOnEnter",
  "#1014916/aBottomTextView",
  "#1014915/aWestAndCenter",
  "#1014914/aPortraitMode",
  "#1014913/removeMyselfAsInjection",
  "#1014912/aDisable",
  "#1014909/androidGoAdminMode",
  "#1014911/androidUnsetAdminMode",
  "#1014910/androidIsAdminMode",
  "#1014908/vm_generalMap",
  "#1014907/vm_generalMap_get",
  "#1014906/vm_generalMap_put",
  "#1014905/aCatLoadingScreen",
  "#1014903/aMakeSingleLine",
  "#1014904/aSingleLineEditText",
  "#1014902/_sleep",
  "#1014900/isInIconifiedFrame",
  "#1014899/aRightAlignedTextView",
  "#1014898/aEditText",
  "#1014897/aSetImageFromSnippet",
  "#1014896/aSetImageFromFile",
  "#1014894/aImageButton",
  "#1014893/aRemoveFromParent",
  "#1014890/aWhite",
  "#1014887/aShowStartScreen",
  "#1014886/aBootUpClass",
  "#1014885/aBlack",
  "#1014884/aSetForeground",
  "#1014883/aCenteredTextView",
  "#1014882/aFontSize",
  "#1014881/aImageView",
  "#1014879/aVerticalLinearLayout",
  "#1014878/aAddView",
  "#1014877/androidClickableImage",
  "#1014876/noMainDone",
  "#1014875/funnelBytesThroughUTF8Processor",
  "#1014874/subByteArray",
  "#1014871/catSayOnPhone",
  "#1014872/mechQ",
  "#1014869/androidUI_wait",
  "#1014868/androidUI_noWait",
  "#1014867/aAddMenuItems",
  "#1014865/aHideTitleBar",
  "#1014864/aActivity",
  "#1014862/aLater",
  "#1014860/androidEvalInUIThread",
  "#1014861/aGetText",
  "#1014859/aOnChange",
  "#1014858/aToast",
  "#1014855/jfindOneOf",
  "#1014849/apkMimeType",
  "#1014846/removeTrayIcon",
  "#1014845/backtick_verbose",
  "#1014844/killProcess",
  "#1014842/fixAllWindowPositions",
  "#1014840/moveWindowIntoScreen",
  "#1014839/y2",
  "#1014838/x2",
  "#1014837/setWindowBounds",
  "#1014835/usableWindowArea",
  "#1014833/vMap",
  "#1014834/katzeLog_raw",
  "#1014832/katzeLog_rawText",
  "#1014831/toCamelCase",
  "#1014830/listDependentButton",
  "#1014829/isInstanceOf",
  "#1014828/heldInstance",
  "#1014827/listThreadLocalPopLast",
  "#1014826/listThreadLocalAdd",
  "#1014825/holdInstance",
  "#1014819/assureTrailingNewLineIfNempty",
  "#1014818/maxLineLength",
  "#1014822/linesLL",
  "#1014820/asciiSideBySideWithBarsAllAround",
  "#1014817/repLine",
  "#1014816/asciiSideBySideWithBars",
  "#1014815/maxLineCount",
  "#1014814/asciiSideBySide",
  "#1014813/lpad",
  "#1014812/maxStringLength",
  "#1014811/tempAfterwards",
  "#1014810/onSpeechRecognized",
  "#1014809/showLoadingApple",
  "#1014808/cat_stopListening",
  "#1014807/cat_startListening",
  "#1014804/playMp3WithSoftVolume",
  "#1014802/setURLConnectionDefaultTimeouts",
);