ATOMIC

Code inside an atomic section behaves like an atomic indivisible operation. Technically, the atomic section is a stronger version of the nested silent section, with an additional guarantee that thread switch points cannot occur inside an atomic section at all. TODO: "no-switch-points inside atomic section" guarantee is not checked currently.