#ifndef DRIVER_HPP
#define DRIVER_HPP

class DrivenEngine;

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

#endif // DRIVER_HPP