A bit of a non-event to me, this is a bug in user code. I don’t see it much differently then freeing a block twice or using an uninitialized pointer. It’s the price of using C.