Tests for File::write()