MODULE AtomicWCharrModule = AtomicModule (WCharr, IsLockFreeWCharr, StoreWCharr, LoadWCharr, SwapWCharr, CompareSwapWCharr, FenceWCharr, FetchIncWCharr, FetchDecWCharr, FetchOrWCharr, FetchXorWCharr, FetchAndWCharr) END AtomicWCharrModule.