fptools/ghc/tests/programs/jeff-bug
