*discard-output-stream* is more descriptive, even to those who are used to NUL: and /dev/nul/ and the like.