MODULE AtomicLIntModule = AtomicModule (LInt, IsLockFreeLInt, StoreLInt, LoadLInt, SwapLInt, CompareSwapLInt, FenceLInt, FetchIncLInt, FetchDecLInt, FetchOrLInt, FetchXorLInt, FetchAndLInt) END AtomicLIntModule.