MASK_52_7
trace_timestamp = (timestamp_event.timestamp & MASK_52_7) |
trace_timestamp = ((timestamp_event.timestamp - 1) & MASK_52_7) |