Edit: atomicity.h