This trace is printed from a DoABC
