video_print
static int video_print(void *, const char *);
return config_found(parent, &args, video_print,
video_print(argv[0]);
static void video_print(const char *);