cscvs to tla changeset 70