void strcpy(char *s, char *d) {
    while(*d++ = *s++);
  }