WITNESS_DEFINEORDER
#define WITNESS_DEFINEORDER(lock1, lock2) \
#define WITNESS_DEFINEORDER(lock1, lock2) 0