CREATE TABLE table_name_9 (body_styles VARCHAR(255), engine VARCHAR(255))
What body styles have devaux-hall inline 6 as the engine?
    
SQL: SELECT body_styles FROM table_name_9 WHERE engine = "devaux-hall inline 6"