vecdec, ptrdec, vecsize