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