/tests/examples/ghc710/