/test/
../
arm
mono
ocaml
riscv
run_tests.sh
typecheck