1/* $FreeBSD$ */
2
3#include <stdio.h>
4
5extern int __thread xx1;
6extern int __thread xx2;
7extern int __thread xxa[];
8int __thread a[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
9extern int xxyy();
10
11int main(int argc, char** argv)
12{
13	printf("xx1=%d, xx2=%d, xxa[5]=%d, a[5]=%d, xxyy()=%d\n",
14	    xx1, xx2, xxa[5], a[5], xxyy());
15}
16