video_name2cid
found = video_print_ctrl(video_name2cid(s));
uint32_t ctrl_id = video_name2cid(ctrlname);
static uint32_t video_name2cid(const char *);