$1 --compile-dir=../../_build -c Main.agda > log
./../../_build/Main > random_values
touch output

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