The IDLstring, both bounded and unbounded variants, are mapped tostring. Range checking for characters in the string as well as bounds checking of the string shall be done atmarshal time. The type specifiercorba:string denotes the set of Lisp strings.
For example:
(typep "A string" 'corba:string) > T (typep nil 'corba:string) > nil