cscvs to tla changeset 67