require_vector; require_fp; demand(0 <= RS2 && RS2 < MAX_UTS, "ut not in range!"); UT_FRD(RS2) = FRS1;