Re: [GHC] #3021: A way to programmatically insert marks into heap profiling output