ossl_ml_dsa_key_compress_power2_round
void ossl_ml_dsa_key_compress_power2_round(uint32_t r, uint32_t *r1, uint32_t *r0);
ossl_ml_dsa_key_compress_power2_round(t->coeff[i],