#ifndef DRIVER_HPP
#define DRIVER_HPP

class DrivenEngine;

void driver_drive(DrivenEngine *de, int argc, char *argv[]);

#endif // DRIVER_HPP