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