/tests/
../
test-compile-acl2.scm