// In recording preferences, aspects of the format are locked
// depending on the driver used.
void update_driver(int driver);
// In recording preferences, aspects of the format are locked
// depending on the driver used.
void update_driver(int driver);