def save_xml(self, dest, instr=0, modified_after=None, stylesheet=None): _xmlio.xml_out(self, dest, instr, modified_after, stylesheet)