XML output of execution path