JSON ↔ XML Converter

Convert between JSON and XML with an explicit mapping (@_ attributes, #text). Not a universal standard; DTD/XXE disabled.