-Xreweavable
-verbose
-noExit