The source array and the shift-amount array must be value-accessible. The destination array must be accessible (see section 4.6).
