static L<S> standardFunctions = litlist(
  "#1031207/style_typeWriterFont",
  "#1031206/lineCompedSingleLevelsAsColoredText",
  "#1031205/coloredTextToTextPane",
  "#1031204/renderLineCompedSingleLevels_raw_v3",
  "#1031203/showLineCompedSingleLevelsAsColoredText_v2",
  "#1031202/renderLineCompedSingleLevels_raw_v2",
  "#1031201/showLineCompedSingleLevelsAsColoredText",
  "#1031200/renderLineCompedSingleLevels_raw",
  "#1031198/renderLineCompedSingleLevels",
  "#1031196/lcLength",
  "#1031195/dynamicObject_dropRawField",
  "#1031194/syncMapRemove_deleteMapIfEmpty",
  "#1031193/addDynamicInterface",
  "#1031192/dynamicObject_setRawFieldValue",
  "#1031191/printWithNewLineBefore",
  "#1031190/lookupDynamicInterface",
  "#1031189/stringsOnly_orderedSet",
  "#1031185/printStackTrace_inPossiblyCancelledThread",
  "#1031184/tempRemove",
  "#1031183/tempUncancelThread",
  "#1031182/printLineContextInTranspiledSnippet",
  "#1031181/printLineWithContext",
  "#1031180/centerFrameWithMinWidth",
  "#1031179/getMinimumWidth",
  "#1031178/test_tok_quicknew2",
  "#1031175/stefansOS_addToLinuxStartMenu",
  "#1031174/replaceDollarVars_unindentMLS",
  "#1031173/linuxStartMenuApplicationsFolder",
  "#1031161/firstOfArrayOrSame",
  "#1031160/vmBus_snoopToPrint",
  "#1031159/logProgramOutput",
  "#1031158/allChildrenOfType",
  "#1031156/frameMaxHeight",
  "#1031155/jMaxHeight_pure",
  "#1031154/jMinHeight_pure",
  "#1031153/removeAndPut",
  "#1031152/setBit_trueIfChanged",
  "#1031151/swingShowConfirmDialog",
  "#1031150/simpleDateFormat_defaultTZ",
  "#1031149/simpleDateFormat_defaultTZ_now",
  "#1031148/defaultTimeZone",
  "#1031147/simpleDateFormat_local_now",
  "#1031146/unicode_slightlySmilingFace",
  "#1031143/dummyMutex",
  "#1031141/swingScale",
  "#1031140/conceptFieldLiveValue",
  "#1031137/setProgramDir",
  "#1031136/unindentMLS",
  "#1031135/unicode_dottedSquare",
  "#1031134/unicode_blackSquare",
  "#1031133/buttonGroup",
  "#1031132/onlyLinesContainingIC",
  "#1031131/sansSerifFont",
  "#1031130/applyMargin",
  "#1031129/jvgridWithSpacing",
  "#1031128/vgridWithSpacing",
  "#1031127/pointsInRect",
  "#1031126/registerKeyCode",
  "#1031125/rectFromPointsInclusiveSorted",
  "#1031124/isLeftButton",
  "#1031122/componentAtScreenLocationInWindow",
  "#1031121/tempSetFontSize",
  "#1031120/tempSetFont",
  "#1031119/drawCenteredText",
  "#1031118/drawTextWithTopLeftCornerAt",
  "#1031117/toVF3",
  "#1031115/lCharSequence",
  "#1031114/replaceOneCharInString",
  "#1031113/jPreferredWidthToMaxWidth",
  "#1031112/addAndRevalidate",
  "#1031111/jHorizontalGlue",
  "#1031110/jFullColor",
  "#1031109/newSingleComponentPanel",
  "#1031108/repF_2d",
  "#1031107/makeUneditableWithTextColor",
  "#1031102/formatDouble_roundUp",
  "#1031101/filePrintWriter_append",
  "#1031100/bufferedFileOutputStream_append",
  "#1031099/newFileOutputStream_append",
  "#1031098/deflaterOutputStream_syncFlush_append",
  "#1031097/conceptIDObject",
  "#1031095/getFromIterator",
  "#1031094/resources",
  "#1031093/tok_varNamedLikeFunction",
  "#1031092/holdResource",
  "#1031091/resourceHolder",
  "#1031087/repS",
  "#1031083/loadDeflatedTextFile",
  "#1031082/deflaterOutputStream_syncFlush",
  "#1031080/toPersistableThrowable",
  "#1031078/gzipOutputStream_syncFlush",
  "#1031076/filePrintWriter",
  "#1031075/filterConceptShadows",
);