Symbol: wdc_vul_power_t