1/* { dg-do compile } */
2extern "C" int rpl_open (const char *filename, int flags, ...) __attribute__
3((__nonnull__ (1)));
4
5namespace gnulib
6{
7    int (*const open) (const char *filename, int flags, ...) __attribute__
8	((__nonnull__ (1))) = rpl_open;
9}
10