MODULE AtomicAddrModule = AtomicModule (Addr, IsLockFreeAddr, StoreAddr, LoadAddr, SwapAddr, CompareSwapAddr, FenceAddr, FetchIncAddr, FetchDecAddr, FetchOrAddr, FetchXorAddr, FetchAndAddr) END AtomicAddrModule.