I think you should just cope with this (by not shifting more than $#), as there are other shells with the same behaviour.
I think you should just cope with this (by not shifting more than $#), as there are other shells with the same behaviour.