convert from 32-bit to 16-bit words