atomicity_lab.ts