Symbol: trace_seq_bitmask