ghc's .cmm example