cscvs to tla changeset 6