Symbol: WITNESS_DEFINEORDER