And of note, the Apple implementation basically forces the invariants documented in the author's talk: * use synchronous exceptions (“precise-mode”), which mea

And of note, the Apple implementation basically forces the invariants documented in the author's talk: * use synchronous exceptions (“precise-mode”), which means the faulted instruction cannot retire and cause damage * re-tag allocations on free