Offliners, Naive question: What is the format of the output file produced by our event generators, suitable for feeding into hdgeant, e. g., output by genr8? It's hddm or xml? Or either? -- Mark P. S. I'm too lazy to read the documentation...BTW...is there any?