def new_string(self, embedded_string):
# Allocate a new string and set its class to be the string class
result = String(self._nilObject)
result.set_class(self._stringClass)
# Put the embedded string into the new string
result.set_embedded_string(embedded_string)
# Return the freshly allocated string
return result
