写一个C语言代码，题目是：“写一函数，将连个字符串连接。”

char concatenate(char string1[],char string2[],char string[])
x{
int i,j;
for(i=0;string1[i]!='\0';i++)
string[i]=string1[i];
for(j=0;string2[j]!='\0';j++)
string[i+j]=string2[j];
string[i+j]='\0';
}
main()
{
char s1[100],s2[100],s[100];
printf("\n input string1:\n");
scanf("%s",s1);
printf("input string2:\n");
scanf("%s",s2);
concatenate(s1,s2,s);
printf("the new string is %s\n",s);
}

#include <stdio.h>
#include <string.h>

void str(char *a,char *b);

int main()
{
char a[]="123",b[]="456";
str(a,b);

return 0;
}
void s