vdecimate: Go the more pedantic way