non deterministic records of ETM trace