Fixed sized lists, valid traces. 4x reduction in trace size.