docs: def write_empty(self, size):
          """Append size bytes to file. Position must be at end of file."""
          if size < 1:
              return
          self._fh.seek(size-1, 1)
          self._fh.write(b'\x00')