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 [ ]
shf [