add TraceReader patch to make private member 's' public