(parameterize ([optimize-level 3] [compile-file-message #f]) (compile-program "/home/buildozer/aports/community/idris2-stage0/src/Idris2-0.7.0/build/exec/idris2_app/idris2.ss"))