Implement the RENDER-MARKUP function that renders to a string instead of a stream