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