/* ados.h
 */


int dos_init(int argc, char **argv);
void dos_end(void);