1#include "harness.h"
2
3vector unsigned char a;
4
5static void test()
6{
7 check(sizeof(a) == 16, "sizeof(a)");
8 check(((int)&a & 15) == 0, "alignof(a)");
9 check((int)&a != 0, "&a");
10 check(vec_all_eq(a,((vector unsigned char){0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0})), "value(a)");
11}
12