On our system (4.1bsd VAX) under heavy load, /dev/null is often not empty; in fact it contains sometimes interesting stuff belonging to some other user. Have others experienced this? Is there a fix? The command "cat /dev/null" illustrates the problem about 1/3 of the time here.