spec for String ext