mutable elements = ([] : Ocvs_types.cvs_info list)