$1 --compile-dir=../../_build -c Main.agda > log
./../../_build/Main < input > output

rm ../../_build/Main
rm ../../_build/MAlonzo/Code/Main*