//set flag AssumeNoClassUnloading.

set flag No_x30_DynamicObject.

set flag hotwire_here.

set flag reifyRewrites.
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
set flag ratioIsDouble. // so we can write "ratio 16 9"
set flag DontFixGIFs.
set flag QOI.
set flag restrictAllWindowsToScreenSize.
set flag newSLF4J.
set flag empty_noGeneric.
set flag NoGenericFunctions.

!include once #1035133 // Video Libs [Include]
!include once #1019934 // BCEL [Include]
!include once #1035331 // EJML Include (Matrix library)
!include once #1035902 // QOI Library [Include]

// Leads to: "A JNI error has occured"
//   Exception in thread "main" java.lang.SecurityException: Invalid signature file digest for Manifest main attributes

//!include once #1036018 // SSH + SCP Libs [Include]

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