常用字符串函数strcat(s1,s2)可将字符串s2添加到字符串s1的末端，但其使用必须保证字符串s1足够大，以便保存它自己的内容和字符串s2中的内容。请编写一个函数char*append(char*s1,char*s2)，其可将字符串s2添加到字符串s1的末端，而且不受s1空间大小的限制。请利用常用字符串函数实现。
常用字符串函数说明：
strcpy(to,form)：将form字符串复制到to字符串；
strcat(s1,s2)：将字符串s2添加到字符串s1的末端，但必须保证字符串s1足够大；
strlen(s)：返回字符串s的长度；
注意：部分源程序已存在文件test4_2.cpp中。
请勿修改主函数main和其他函数中的任何内容，仅在函数append的花括号中填写若干语句。
输出结果如下：
this is a string.
文件test4_2.cpp的内容如下：
#include＜iostream.h＞
#include＜string.h＞
char *append(char *s1，char *s2)
void main()
char *s，*s1，*s2;
s1="this is ";
s2="，a string.";
s=append(s1，s2);
cout＜＜s＜＜endl;
