Implement vproc (procedure coded entirely in VecTcl)