The Ortox Z380 Symbolic debugger