__thread int a[2] __attribute__ ((tls_model ("initial-exec")));

int
foo (void)
{
  return a[0];
}