(parameterize ([optimize-level 3] [compile-file-message #f]) (compile-program "/opt/local/var/macports/build/idris2-5225fa9d/work/Idris2-0.7.0/build/exec/idris2_app/idris2.ss"))