The augmented string type.
system
augmented-string length
length
The length of the string (or * , meaning any).
*
This is the string type that can hold any character. Equivalent to:
(vector character length )
