Nice write up! I didn’t know about those TSan limits; it was informative.