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