for (uint32_t i=0; i<VL; i++) {
  UT_WRITE_FRD(i, XS1);
}