rd(v)={
  vecsort(v,,8)
};