require_vector;
VEC_STORE(RD, store_uint32, RS2);