]`` ), file:write-text( 'example.xml', ``[ ]`` ), file:write-text( 'schema.dtd', ``[]`` ) ]]> catalog.xml true example.xml