/hoogle-test/ref/Bug825/
../
test.txt