* **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, stores CRs *but not the result*
+* **RC1** as if Rc=1, enables access to `VLi`.
* **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.
the arithmetic vector. Note that crops are covered by
the [[sv/cr_ops]] Mode format.
+*Programmer's note: `VLi` is only accessible in normal operations
+which in turn limits the CR field bit-testing to only `EQ/NE`.
+[[sv/cr_ops]] are not so limited. Thus it is possible to use for
+example `sv.cror/ff=gt/vli *0,*0,*0`, which is not a `nop` because
+it allows Fail-First Mode to perform a test and truncate VL.*
+
Two extremely important aspects of ffirst are:
* LDST ffirst may never set VL equal to zero. This because on the first