typedef uint8_t v32si __attribute__ ((vector_size (32)));

void print_bits_16(uint16_t word);

void print_m256_hex(v32si number);