const max_ciphertext_record_len: type = max_ciphertext_len + record_header_len;