This fixes #7907.  The driver interface is added.