#include <stdio.h>

#include <libxml/xmlreader.h>
#include <libxml/catalog.h>
#include <libxml/parser.h>

int main(int argc, char* argv[]){
	xmlDocPtr Document = xmlParseFile(argv[1]);
	xmlCatalogDump(stdout);	
}