No, sorry. An Unbounded_String starts with the "empty" value as its initial value, but it's set later.
You may go back to the question
You may also:
Skip to the next section.
Go up to the outline of lesson 12
David A. Wheeler (dwheeler@ida.org)