Core results for ghc-7.4 that comes with Debian wheezy

The core I get is identical