Thus the new VL comprises a contiguous vector of results, all of which
pass the testing criteria (equal to zero, less than zero). Demonstrated
-approximately in pseudocode:
+approximately in pseudocode, where the normal Vector-looping is just:
+
+```
+for i in range(VL):
+ GPR[RT+i], CR[i] = operation(GPR[RA+i]... )
+```
+
+Data-depedendent Fail-First is, in principle, the sequentially-ordered
+"early-termination" of looping, which is near-identical to the Z80
+LDIR and CPIR instructions, but generalised:
```
for i in range(VL):