Exported xml-encode and xml-decode