Require Xml.
Require provaF.
Require provaIota.

Print XML Module Disk "examples" provaF.
Print XML Module Disk "examples" provaIota.