vardev-pet proof type c