4 extern int f1 (char *) __attribute__ ((warn_unused_result));
5 extern int f2 (char *) throw () __attribute__ ((warn_unused_result));
6 extern int f2 (char *) throw ();
8 extern int f3 (char *) __attribute__ ((nonnull (1)));
9 extern int f4 (char *) throw () __attribute__ ((nonnull (1)));
10 extern int f4 (char *) throw ();