Re: [GHC] #3251: split rts headers into public and private