/* loop to fetch words of input, splitting each into three
* words of output with 10 meaningful low bits. This loop
* probably ought to be unrolled and maybe coiled
*/
while (input_next < input_end) {
/* loop to fetch words of input, splitting each into three
* words of output with 10 meaningful low bits. This loop
* probably ought to be unrolled and maybe coiled
*/
while (input_next < input_end) {