MODULE AtomicIntModule = AtomicModule (Int, IsLockFreeInt, StoreInt, LoadInt, SwapInt, CompareSwapInt, FenceInt, FetchIncInt, FetchDecInt, FetchOrInt, FetchXorInt, FetchAndInt) END AtomicIntModule.