MODULE AtomicBoolModule = AtomicModule (Bool, IsLockFreeBool, StoreBool, LoadBool, SwapBool, CompareSwapBool, FenceBool, FetchIncBool, FetchDecBool, FetchOrBool, FetchXorBool, FetchAndBool) END AtomicBoolModule.