require_vector;
VEC_LOAD(RD, load_int32, RS2);