/* append strings and reserve space for the result string */
char* catStr (char* s1, char* s2, char* s3);

/* replace string in s with the concatenation of s1,s2 and s3 */
void replaceStr(char** s,char* s1,char *s2,char* s3);