Table schema:
CREATE TABLE table_name_16 (builder VARCHAR, works_number VARCHAR)

Question: Who is the builder with a works number of 2534?
SQL: SELECT builder FROM table_name_16 WHERE works_number = "2534"