Verify trace output.