1 static int seven = 7;
2 static int *__attribute__((section("auto"))) auto_10 = &seven;
3 
4 int
eight(void)5 eight (void)
6 {
7   extern int *__start_auto[], *__stop_auto[];
8   return *auto_10 + __stop_auto - __start_auto;
9 }
10