WITNESS_WARN
#define WITNESS_WARN(flags, lock, fmt, ...) \
#define WITNESS_WARN(flags, lock, fmt, ...) (void)0