Update intvector.h