MODULE AtomicReffModule = AtomicModule (Reff, IsLockFreeReff, StoreReff, LoadReff, SwapReff, CompareSwapReff, FenceReff, FetchIncReff, FetchDecReff, FetchOrReff, FetchXorReff, FetchAndReff) END AtomicReffModule.