uint32_t vl = std::min(MAXVL, (uint32_t)XS1);
WRITE_VL(vl);
WRITE_XRD(vl);