void mystrcpy(int dest[], int src[]) {
  int i = 0;
  for (; src[i] != 0; i++) {
    dest[i] = src[i];
  }
  dest[i] = 0;
  return;
}

/* original
char *strcpy(char dest[], char src[]) {
  int i = 0;
  for (; src[i] != '\0'; i++) {
    dest[i] = src[i];
  }
  dest[i] = '\0';
  return dest;
}
*/
