vectorised operations are effectively `nops` which is
*precisely the desired and intended behaviour*.
-Another aspect is that for ffirst LD/STs, VL may be truncated arbitrarily
-to a nonzero value for any implementation-specific reason. For example:
-it is perfectly reasonable for implementations to alter VL when ffirst
-LD or ST operations are initiated on a nonaligned boundary, such that
-within a loop the subsequent iteration of that loop begins subsequent
-ffirst LD/ST operations on an aligned boundary. Likewise, to reduce
-workloads or balance resources.
-
CR-based data-dependent first on the other hand MUST not truncate VL
arbitrarily to a length decided by the hardware: VL MUST only be
truncated based explicitly on whether a test fails.