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