cscvs to tla changeset 12