/module/language/objcode/
../
spec.scm