// TODO: may not be true forever
set flag AssumeNoClassUnloading.

set flag NoJavaXJar.
set flag NoLocalSnippets.
set flag OurSyncCollections.
//set flag EnforceFunctionTypes.
set flag NoVideoLibs.
set flag PingV3.
set flag div_noHTML. // interferes with expressions like "div i 2" in left-arrow script