replace _svec4_u32 by svec<4,uint32_t>
replace _svec4_u64 by svec<4,uint64_t>