1 #include <stdio.h>
2 
3 extern __thread char bar[];
4 extern char size_of_bar asm ("bar@SIZE");
5 extern void set_bar (int, int);
6 
7 int
main()8 main ()
9 {
10   set_bar (1, 20);
11   if (10 == (long) &size_of_bar && bar[1] == 20)
12     printf ("OK\n");
13 
14   return 0;
15 }
16