docs: def ciphertext_length(self):
          """Returns the length of the resulting ciphertext message in bytes.
  
          :rtype: int
          """
          return aws_encryption_sdk.internal.formatting.ciphertext_length(
              header=self.header, plaintext_length=self.stream_length
          )