is that more efficient than

    theStash = others ++: theStash

or what is the reason?