WITNESS_DOWNGRADE
#define WITNESS_DOWNGRADE(lock, flags) \
#define WITNESS_DOWNGRADE(lock, flags) (void)0