class CVCMut extends Mut; // backward compatibility