/tests-clar/resources/peeled.git/