static L<S> standardFunctions = litlist(
  "#1015040/setVerticalTextPosition",
  "#1015038/centerFrameWithWidth",
  "#1015037/dynamicHStack",
  "#1015036/gridBagConstraints_hstack_rest",
  "#1015035/gridBagConstraints_hstack_1",
  "#1015033/appendToMechList_noUniq_inQ",
  "#1015032/jreplaceInSnippet",
  "#1015030/renderRenderable_withHints",
  "#1015029/renderRenderable",
  "#1015028/hintColor",
  "#1015024/blendBufferedImages",
  "#1015023/limitBetween0and1",
  "#1015022/fixRGB",
  "#1015021/subtractRGBImages",
  "#1015020/randomLineWithColor",
  "#1015019/varyBackgroundPlusLines",
  "#1015014/randomBackgroundPlusLines",
  "#1015018/renderBackgroundPlusLines_withHints",
  "#1015017/renderBackgroundPlusLines",
  "#1015015/varyLineWithColor",
  "#1015012/randomPointNearCenter",
  "#1015008/drawRoundedBox",
  "#1015007/varyBackgroundPlusRoundedBoxes",
  "#1015006/randomBackgroundPlusRoundedBoxes",
  "#1015004/fillRoundedBox",
  "#1015003/halfBlack",
  "#1015002/renderBackgroundPlusRoundedBoxes_withHints",
  "#1015001/renderBackgroundPlusRoundedBoxes",
  "#1015000/varyRoundedBoxWithColor",
  "#1014999/randomRoundedBoxWithColor",
  "#1014996/toRGBImage",
  "#1014995/toBWImage",
  "#1014994/varyBackgroundPlusCirclesNearCenter",
  "#1014993/randomCircleWithColorNearCenter",
  "#1014992/randomBackgroundPlusCirclesNearCenter",
  "#1014985/randomBackgroundPlusCircles",
  "#1014987/varyInt",
  "#1014990/drawCircle",
  "#1014982/renderBackgroundPlusCircles",
  "#1014989/varyBackgroundPlusCircles",
  "#1014984/renderBackgroundPlusCircles_withHints",
  "#1014988/varyCircleWithColor",
  "#1014986/randomCircleWithColor",
  "#1014983/fillCircle",
  "#1014978/drawPolygon",
  "#1014977/renderBackgroundPlusPolys_withHints",
  "#1014976/varyPolyWithColor",
  "#1014975/varyBackgroundPlusPolys",
  "#1014973/randomBackgroundPlusPolys",
  "#1014974/randomPolyWithColor",
  "#1014972/pointsY",
  "#1014971/pointsX",
  "#1014970/fillPolygon",
  "#1014969/renderBackgroundPlusPolys",
  "#1014968/tokenIndexToUserLandLineNr",
  "#1014963/assertEqualsQuick",
  "#1014962/trimList",
  "#1014961/randomBackgroundPlusBoxes",
  "#1014958/renderBackgroundPlusBoxes_withHints",
  "#1014955/varyPoint",
  "#1014954/varyBoxWithColor",
  "#1014956/randomBoxWithColor",
  "#1014953/varyBackgroundPlusBoxes",
  "#1014952/_randomPoint",
  "#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",
);