with-output-to-string query

[robbins@DEC-HUDSON]

The definition of WITH-OUTPUT-TO-STRING given in the Common Lisp 
reference manual states that:

"If string is specified ... the output is incrementally appended to the 
 string, as if using VECTOR-PUSH-EXTEND if the string is adjustable, and
 otherwise as if using VECTOR-PUSH."

This implies that after a non-adjustable output string is "filled" any
extra characters output to it will simply be dropped and no error will
be signalled.  Is this correct?

-- Rich Robbins