(strcmp (strcat ("foo", "bar"), "foobar")
 && strcmp (strcat (["a"; "bb"], ["foo"; "bar"]), ["a foo"; "bbbar"]))
