In Vertical-First Mode, the `ALL` bit still applies, but to the elements
that are executed up to the Hint length, in parallel batches. Contrast
this with Horizontal-First Mode which tests elements from
-`0..VL-1`, Vertical-First tests elements `srcstep..MIN(srcstep+VFHint,VL-1)` See
+`0..VL-1`, Vertical-First tests elements
+`srcstep..MIN(srcstep+VFHint-1,VL-1)`. See
[[sv/setvl]] for the definition of Vertical-First Hint.
Predication in both INT and CR modes may be applied to `sv.bc` and other