vendor/github.com/cloudflare/circl/pke/kyber/internal