cscvs to tla changeset 78