Create vector-token.h