Here is a complete description of said race-condition:
Here is where Dmitriy V'jukov teaches me how to model this moment in Relacy:
Here is Relacy code which demonstrates how bad this race can be:
This bug will cause a memory leak, and guess what? Relacy finds a memory
This is too cool! Anyway, simply define `TURN_OFF_RACER' to show how
loading the aba version counter first in pop saves the day when you choose
not to bump it in push!
BTW, here is where you can obtain Relacy Race Detector: