pipe equivalent to /dev/null ???

[Oscar Herrera]

|....................................................  Writing to /dev/null
|is very efficient (there are no user-to-kernel copies involved; indeed,
|you can pass illegal addresses to write() if and only if you are writing
|to /dev/null).
|-- 

	Yes, writing to /dev/null is darn efficient.  Try the following
	(Bourne) and watch the idle time parameter in monitor go to zero

	while true
	do
	ps -ef >/dev/null
	done

	BTW, in case you are still wondering why I needed the a pipe 
	equivalent to /dev/null, it was so that in RMBUX ( Rocky Mountain
	BASIC under HPUX ) I could construct the following statement:

	1000 PRINTER IS "| cat >/dev/null"