#ifndef CBD_H #define CBD_H #include "poly.h" void PQCLEAN_KYBER76890S_AVX2_cbd(poly *r, const uint8_t *buf); #endif