We can probably get rid of these lines if it's taken care of by the top level driver block