OSSL_HPKE_CTX_set_seq
int OSSL_HPKE_CTX_set_seq(OSSL_HPKE_CTX *ctx, uint64_t seq);
if (!TEST_false(OSSL_HPKE_CTX_set_seq(NULL, 1)))
if (!TEST_true(OSSL_HPKE_CTX_set_seq(rctx, -1)))
if (!TEST_true(OSSL_HPKE_CTX_set_seq(rctx, 0)))
if (!TEST_false(OSSL_HPKE_CTX_set_seq(ctx, seq)))
if (!TEST_false(OSSL_HPKE_CTX_set_seq(ctx, seq + 1)))
if (!TEST_true(OSSL_HPKE_CTX_set_seq(rctx, seq)))
if (!TEST_true(OSSL_HPKE_CTX_set_seq(rctx, seq)))
if (!TEST_true(OSSL_HPKE_CTX_set_seq(rctx, 0)))