Symbol: wdc_append_serial_name