cscvs to tla changeset 77