Table schema:
CREATE TABLE table_name_51 (bus_width__bits_ INTEGER, designation VARCHAR)

Question: Designation of pc800 has which highest Bus width (bits)?
SQL: SELECT MAX(bus_width__bits_) FROM table_name_51 WHERE designation = "pc800"