fptools/ghc/tests/specialise/spec003
