#include <stdio.h>
__thread char bar[10];
__thread char foo[20] = { 1 } ;
extern int bar_size1 (void);
extern int bar_size2 (void);
extern int foo_size1 (void);
extern int foo_size2 (void);
int
main ()
{
int size;
size = bar_size1 ();
if (bar[2] == 3 && size == sizeof (bar) && bar_size2 () == size)
printf ("OK\n");
size = foo_size1 ();
if (foo[3] == 4 && size == sizeof (foo) && foo_size2 () == size)
printf ("OK\n");
return 0;
}