> They also reworked a lot of the memory model using https://github.com/fastly/uslab.

Can anyone explain what being 'ABA-safe' means? I've not come across this before and Google is not being helpful.