/hoogle-test/ref/Bug722/
../
test.txt