Require Xml.
Require csc_eqdep.
Require csc_zfc.

Print XML Dir Disk "examples/csczfc" csc_eqdep.
Print XML Dir Disk "examples/csczfc" csc_zfc.