> That is because you do not need to clear the field at the end of a critical section. It contains the contiguous instruction range where it fires so there is no problem with leaving it active forever unless you have another critical section where you want to use it.

Aha! So, to take advantage of that, a memory allocator uses the same abort handler for all operations?