
void strcpy(char *s, char *t)
   /* requires: t has as much space as s has elements */
   /* effect: copy s to t */
{
  int i;
  for (i = 0; (s[i] = t[i]) != '\0'; i++)
	;
}

int main()
{
  char s[] = "Are you proud of your life?";
  char t[100];
  int i;

  for (i=10000000; i > 0; --i) {
    strcpy(s,t);
    strcpy(t,s);
  }
  return 0;
}
