> +let carry-srcu-data = (data ; [~ Srcu-unlock] ; rf)*> +let carry-dep = (data ; [~ Srcu-unlock] ; rfi)*Nit: we use "~M" (no space after the unary operator) in this file, isthere a reason for the different styles? Andrea