// 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

!include once #1035133 // Video Libs [Include]
!include once #1019934 // BCEL [Include]

lib 1013692 // apache commons exec (for youtube-dl)