Update prf_vectors.h