pick(v)=v[random(#v)+1]