RE: non deterministic records of ETM trace