/* pr 13484 */

#include <stdio.h>

int x;

void foo()
{
  x++;
  printf("This is foo\n");
}

int main()
{
  foo();
  return 0;
}

/* Ensure the new file will have more sections.  It may exploit code not
   updating its SECTION_COUNT on reread_symbols.  */

#ifndef NO_SECTIONS
# define VAR0(n) __attribute__ ((section ("sect" #n))) int var##n;
# define VAR1(n) VAR0 (n ## 0) VAR0(n ## 1) VAR0(n ## 2) VAR0(n ## 3)
# define VAR2(n) VAR1 (n ## 0) VAR1(n ## 1) VAR1(n ## 2) VAR1(n ## 3)
# define VAR3(n) VAR2 (n ## 0) VAR2(n ## 1) VAR2(n ## 2) VAR2(n ## 3)
VAR3 (0)
#endif