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