cscvs to tla changeset 71