Yes, as I said, it *practically* never makes sense to write pointers to a file. Such cases exist.

However, since everything is implicitly castable to a `void[]`, it becomes really easy to make a mistake in specifying what you want to write to the file.

For the rare cases that the programmer really knows what they're doing and actually do want to write pointers to a file, they can cast to void[] first.