Re: [GHC] #4258: Finish new codegen