toFile method Null safety
Extracts opened file from resource handle.
This can also be used when receiving stdin and stdout handles.
If this resource handle is not a file or stdio handle, the behavior of the returned RandomAccessFile is completely unspecified. Be very careful to avoid using a handle incorrectly.