cscvs to tla changeset 17