Effect:

The description of the exit value of dst is identical to the description after execution of a Shift schedule (see section 5.3), except that the constant shift is replaced by

  shf [$x_0, \ldots, x_{\mbox{\tt dim} - 1},x_{\mbox{\tt dim} + 1}, \ldots, x_{R - 1}$]