code: def dump(self, force=False):
          
  
          self._contents = self.chosen.dump(force=force)
          if self._header is None or force:
              self._header = b''
              if self.explicit is not None:
                  for class_, tag in self.explicit:
                      self._header = _dump_header(class_, 1, tag, self._header + self._contents) + self._header
          return self._header + self._contents
docs: Encodes the value using DER
  
          :param force:
              If the encoded contents already exist, clear them and regenerate
              to ensure they are in DER format instead of BER format
  
          :return:
              A byte string of the DER-encoded value