vec256_zarch.h