MODULE AtomicCharrModule = AtomicModule (Charr, IsLockFreeCharr, StoreCharr, LoadCharr, SwapCharr, CompareSwapCharr, FenceCharr, FetchIncCharr, FetchDecCharr, FetchOrCharr, FetchXorCharr, FetchAndCharr) END AtomicCharrModule.