9 static char empty[] = "";
10 static char string[] = "\1\2\0\3";
11 char buf[40] = "abcdefghijklmnopqrstuvwxyz";
13 char * result = strcpy(buf, empty);
14 ASSERT( strlen(buf) == 0);
15 ASSERT( result == buf);
17 result = strcpy(buf, string);
18 ASSERT( result == buf);
19 ASSERT( strlen(buf) == 2);
20 ASSERT( buf[0] == '\1');
21 ASSERT( buf[1] == '\2');
22 ASSERT( buf[3] == 'd');