Generated from start_driver.