Re: non deterministic records of ETM trace