Add vsetprec instruction prototype
Remove debug printf in vsetprec