T4_TRACE_LEN
uint32_t data[T4_TRACE_LEN / 4];
uint32_t mask[T4_TRACE_LEN / 4];
for (i = t.tp.skip_ofst * 2; i < T4_TRACE_LEN / 4; i += 2)
for (i = t.tp.skip_ofst * 2; i < T4_TRACE_LEN / 4; i += 2)