ghc-7.7.20130828: The GHC API