Generated by start_driver.