Add vsetprec instruction prototype