this is compensated for in the assembly notation. i.e. that an immediate
value of 1 in assembler notation actually places the value 0b0000000 in
the `SVi` field bits: on execution the `setvl` instruction adds one to
this is compensated for in the assembly notation. i.e. that an immediate
value of 1 in assembler notation actually places the value 0b0000000 in
the `SVi` field bits: on execution the `setvl` instruction adds one to