example xml encoding
Closes #15