static int seven = 7;
static int *__attribute__((section("auto"))) auto_10 = &seven;
int
eight (void)
{
extern int *__start_auto[], *__stop_auto[];
return *auto_10 + __stop_auto - __start_auto;
}