The API of DevNull is documented.