CSR_VLENB
dest->vlenb = csr_read(CSR_VLENB);
(csr >= CSR_VL && csr <= CSR_VLENB))
this_vsize = csr_read(CSR_VLENB) * 32;