Symbol: trace_print_bitmask_seq