add svector.h