1  char foo_data  __attribute__(( section("FOO") )) = { 0 };
       2  
       3  void * __start_FOO;
       4  
       5  void * foo() {
       6      return  __start_FOO;
       7  }