Require Export Xml.

Require Rem.

Print XML Module Disk "examples" Rem.