A trace generator in a XML format