Re: [GHC] #13433: Segmentation faults in profiled way