283 store32(&bytes_out[0 * 4], cv_words[0]);
284 store32(&bytes_out[1 * 4], cv_words[1]);
285 store32(&bytes_out[2 * 4], cv_words[2]);
286 store32(&bytes_out[3 * 4], cv_words[3]);
287 store32(&bytes_out[4 * 4], cv_words[4]);
288 store32(&bytes_out[5 * 4], cv_words[5]);
289 store32(&bytes_out[6 * 4], cv_words[6]);
290 store32(&bytes_out[7 * 4], cv_words[7]);