(string) string.cat(string str1, string str2);


string.cat(x, y) will not change x or y. to set x to the result, use "x=string.cat(x, y)"
actually, all string functions should work like this (by not modifying the original arguments.