vet printf