• DEBUGONLY : DebuggingAids.h
• ENSURE : DebuggingAids.h
• INVARIANT : DebuggingAids.h
• P_ASSERT : DebuggingAids.h
• PROTECT : DebuggingAids.h
• REQUIRE : DebuggingAids.h
• THREADWEAVER_PRIVATE_API : StateImplementation.h , WeaverImpl.h