ghc core generated by some simple programs