Update rc4_vectors.h