Also available is the option to set VL from CTR (`VL = MIN(CTR, MVL)`.
In combination with SVP64 [[sv/branches]] this can save one instruction
-inside critical inner loops. Note: to avoid having an extra bit in `setvl`,
+inside critical inner loops. Note: to avoid having an extra opcode
+bit in `setvl`,
to select CTR is slightly convoluted.
# Format