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

/* original
void mystrcpy(char trg[], char src[])
{
  int i;
  for(i = 0; src[i] != '\0'; i++)
    trg[i] = src[i];
}
*/
