/*
 * This function generates the xml and saves it to the output file.
 */
void make_xml();