VEC_SEG_STORE(FPR, store_uint64, 8);