reverse(s)=concat(Vecrev(s))