Symbol: wdc_floating_bus