Support for rendering SPIN objects into Strings.