VEC_SEG_LOAD(FPR, load_int64, 8);