12.3.8.15 null_file

The name of the null file or device. For more discussion, see Change files.