TLS13_RECORD_MAX_CIPHERTEXT_LEN
if (rec_len > TLS13_RECORD_MAX_CIPHERTEXT_LEN)
(TLS13_RECORD_HEADER_LEN + TLS13_RECORD_MAX_CIPHERTEXT_LEN)
if (enc_record_len > TLS13_RECORD_MAX_CIPHERTEXT_LEN)