int __thread tls0;
int *f0(void) { return &tls0; }