(Some more test for string.xs)