1  /* { dg-do compile } */
       2  
       3  int printf(const char *format, ...);
       4  extern const char help_string[];
       5  void app_opts(void) {
       6      printf("%s", help_string);
       7  }
       8  const char help_string[] = "foo\n";