V_TCB_PDU_LEN
W_TCB_PDU_LEN, V_TCB_PDU_LEN(M_TCB_PDU_LEN),
V_TCB_PDU_LEN(resid - sizeof(struct tls_hdr)));