1extern char *strcpy (char *__restrict __dest, __const char *__restrict __src);
2
3extern char *foo (void);
4extern void *malloc(__SIZE_TYPE__) __attribute__((malloc));
5
6char v[100];
7
8void baz()
9{
10  char *vec;
11  char buf[512];
12
13  char *p = buf;
14  while (v[(*p)])
15    p++;
16
17  if (*p != '#' && (p = foo()) != 0) {
18    strcpy ((char*)malloc(10), p);
19  }
20}
21
22
23