static L<S> standardFunctions = litlist(
  "#1029506/hs_htmlencode_noJQuery",
  "#1029505/tempPrintAfterwards",
  "#1029504/closeAndClear",
  "#1029502/startThreadRegisteredInCollection",
  "#1029501/cancelAndClearThreads",
  "#1029500/utf8charset",
  "#1029499/read",
  "#1029498/nFragments",
  "#1029497/syncWeakHashMap",
  "#1029496/setFieldToIVF1Proxy",
  "#1029491/test_LongPriorityQueue",
  "#1029487/formatIntWithSpaces",
  "#1029485/intRangesOverlapNempty",
  "#1029484/intRangeIsPartOf",
  "#1029483/intRangesOverlap",
  "#1029482/intersectIntRanges",
  "#1029481/intRangeWithLen",
  "#1029478/integerIteratorToList",
  "#1029476/distroName",
  "#1029475/ai_compressWikipedia_v2",
  "#1029474/lcCompressFilePart",
  "#1029473/saveExecutableTextFile",
  "#1029472/uniqIC",
  "#1029469/dm_action_printHere",
  "#1029468/charIteratorToString_max",
  "#1029467/printQuote",
  "#1029466/parseInt_bounded",
  "#1029465/divides",
  "#1029463/charIteratorToString",
  "#1029460/lCommonPrefixOfCharIterators",
  "#1029457/rightShift_ceil",
  "#1029455/toMB_ceil",
  "#1029454/toM_ceil",
  "#1029453/secondsToMicroseconds",
  "#1029451/ldiv_ceil",
  "#1029449/oneMegabyte_int",
  "#1029445/uintToLong",
  "#1029444/dm_hold_noCleanUp",
  "#1029443/ai_makeWikipediaSearch",
  "#1029442/writeIntArrayToRandomAccessFile",
  "#1029440/maximumSafeArraySize",
  "#1029439/exist",
  "#1029438/ai_makeWikipediaSearcherFiles",
  "#1029437/bufferedFileOutputStream",
  "#1029435/ai_mergeWikipedia_level3",
  "#1029434/sortIntBuffer_direct",
  "#1029432/parallelDo",
  "#1029429/saveTextFile_rawBytes",
  "#1029428/loadTextFile_rawBytes",
  "#1029427/test_LCSortedPairIndex",
  "#1029426/toLongArray",
  "#1029425/copyIntArray",
  "#1029422/intArrayBinarySearchWithGeneralizedComparator",
  "#1029419/intArrayBinarySearchWithComparator",
  "#1029418/test_timSortIntArray_allSizes",
  "#1029417/test_timSortIntArrayWithComparator",
  "#1029416/timSortIntArrayWithComparator",
  "#1029414/test_timSortIntArray",
  "#1029413/listToIntArray",
  "#1029412/timSortIntArray",
  "#1029410/lc_sortedPairIndex",
  "#1029411/ai_megaMergeWikipedia",
  "#1029409/sortIntArrayInPlaceWithComparator",
  "#1029408/wrapIntArrayAsList",
  "#1029407/ai_mergeWikipedia_level2",
  "#1029406/printWriter",
  "#1029405/gzipOutputStream",
  "#1029404/dataInputStream",
  "#1029403/rawBytesWriter",
  "#1029402/intToBytes_inArray_bigEndian",
  "#1029401/intArrayToBytes_bigEndian",
  "#1029400/testRawByteReader",
  "#1029399/reader2string",
);