#include <stdio.h>
static int __thread tbaz __attribute__ ((tls_model ("local-dynamic"))) = 42;
void
setter2 (int a)
{
tbaz = a;
}
int
baz (void)
printf ("&tbaz=%p\n", &tbaz);
return tbaz;