Symbol: wdc_exec_identify