OSSL_HPKE_CTX_get_seq
int OSSL_HPKE_CTX_get_seq(OSSL_HPKE_CTX *ctx, uint64_t *seq);
if (!TEST_false(OSSL_HPKE_CTX_get_seq(NULL, &lseq)))
if (!TEST_true(OSSL_HPKE_CTX_get_seq(sealctx, &lastseq)))
if (!TEST_true(OSSL_HPKE_CTX_get_seq(openctx, &lastseq)))