cscvs to tla changeset 47