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

extern int foo (void);

int
bar (void)
{
  return foo () + b[0];
}