/* valid video output formats: */