require_vector;
require_fp;
VEC_STORE(FRD, store_uint64, RS2);