#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;
}