vetdec and ptrdec