cvc-3.2.4