13 typedef unsigned char        U1;  typedef
37 U8 build(int size, U1 byte)  in build()
63 U1 make_defined ( U1 x )  in make_defined()
65    volatile U1 xx = x;  in make_defined()
70 void check(U1* arr, int n, char* who)  in check()
73    U1* shadow = malloc(n);  in check()
74    U1 arr_i;  in check()
100 static inline U1 randomU1 ( void )  in randomU1()
112 void do_test_at ( U1* arr )  in do_test_at()
123       arr[i] = (U1)build(1, randomU1());  in do_test_at()
138             *(U1*)(arr+dst) = *(U1*)(arr+src);  in do_test_at()
230    U1* arr;  in main()
250       U1* huge_addr = (U1*)(UWord)0x6600000000ULL;  // 408GB  in main()