Symbol: ppbus_write