int haveScreenDriver (const char *code) { return haveDriver(code, SCREEN_DRIVER_CODES, driverTable); }
int haveSpeechDriver (const char *code) { return haveDriver(code, SPEECH_DRIVER_CODES, driverTable); }