* **RG** inverts the Vector Loop order (VL-1 downto 0) rather
than the normal 0..VL-1
* **N** sets signed/unsigned saturation.
-* **RC1** as if Rc=1, enables access to `VLi`.
+* **RC1** as if Rc=1, on operations that do not have it (typically Logical)
* **VLi** VL inclusive: in fail-first mode, the truncation of
VL *includes* the current element at the failure point rather
than excludes it from the count.