289 store32(&bytes_out[0 * 4], cv_words[0]);
290 store32(&bytes_out[1 * 4], cv_words[1]);
291 store32(&bytes_out[2 * 4], cv_words[2]);
292 store32(&bytes_out[3 * 4], cv_words[3]);
293 store32(&bytes_out[4 * 4], cv_words[4]);
294 store32(&bytes_out[5 * 4], cv_words[5]);
295 store32(&bytes_out[6 * 4], cv_words[6]);
296 store32(&bytes_out[7 * 4], cv_words[7]);