lax vcf checking; don't mutate at end; tests