Require Export Xml.

Require leavemult.

Print XML Module Disk "examples" leavemult.