When there's a null pointer dereference, that's a bug in the program; when closing a file fails, that's something external the program must handle.