Warning: session_start(): open(/var/lib/php/sessions/sess_ho60rc9cvslku4c2vcetsbfjg6, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static L standardFunctions = litlist(
"#1034634/translateLocationBetweenComponents",
"#1034633/ptInComponentFromEvent",
"#1034631/hasParentOfType",
"#1034630/withIdentityHash_inFront",
"#1034629/toStringWithIdentity_inFront",
"#1034628/printMetaSrc",
"#1034623/mainTranspilationSnippetFromSrc",
"#1034627/test_mainTranspilationSnippetFromSrc",
"#1034626/trimmedJavaLineComments",
"#1034625/test_javaTok_producer",
"#1034624/javaTok_producer",
"#1034622/setMetaAndVerify",
"#1034621/componentMetaSrc_verbose",
"#1034620/tempGlobalPopupMenu",
"#1034619/truncateContainer",
"#1034618/pcallF_typed",
"#1034617/tempAddPopupButtonListener",
"#1034616/test_componentMetaSrc",
"#1034615/componentMetaSrc",
"#1034614/markVisualizer",
"#1034613/uniquifyBufferedImages",
"#1034612/uniquifyBy",
"#1034611/canFontDisplay",
"#1034610/defaultFontSize",
"#1034609/fontForName",
"#1034608/isLocalFontFamily",
"#1034606/localFont",
"#1034605/onSelect",
"#1034604/fontWithSpacing",
"#1034601/showLinesWithCount",
"#1034600/showLines",
"#1034597/str_pcall",
"#1034592/test_structure_IPersistenceInfo",
"#1034588/nIterations",
"#1034587/convertToSpacesIf",
"#1034586/tok_forOver",
"#1034585/n2_round",
"#1034584/n2_lround",
"#1034583/nanosToMilliseconds",
"#1034581/iceilRatio",
"#1034579/ensureCapacity",
"#1034578/secondsToNanos",
"#1034577/sysNanos",
"#1034569/tokCondition",
"#1034565/castTo",
"#1034564/assertInstanceOfOrNull",
"#1034559/westAndEastWithMargin",
"#1034558/testMoreEfficientCopyOnWriteList",
"#1034555/linkVarsVerbose",
"#1034554/linkVars",
"#1034553/scrollIntoView",
"#1034551/isDeepContainedInDir_absolute",
"#1034550/instaToolTip",
"#1034549/jClickableImage_instantToolTip",
"#1034547/ctrlKeyStroke",
"#1034546/jClickableImage",
);