If both CTR-test and VLSET Modes are requested, then because the CTR decrement is on a per element basis, the total amount that CTR is decremented
by will end up being VL *after* truncation (should that occur). In
-other words, the order is (as can be seen in pseudocode, below):
+other words, the order is strictly (as can be seen in pseudocode, below):
1. compute the test
2. (optionally) decrement CTR
branch offsets: the offset is relative to the start of the instruction,
which includes the SVP64 Prefix*
+# Pseudocode and examples
+
Pseudocode for Horizontal-First Mode:
```