/coq/ex/test-cases/multiple-files-multiple-dir/b/