opt_video_codec  3583 ffmpeg.c               opt_video_codec("mpeg1video");
opt_video_codec  3611 ffmpeg.c               opt_video_codec("mpeg2video");
opt_video_codec  3633 ffmpeg.c               opt_video_codec("mpeg2video");
opt_video_codec  3751 ffmpeg.c                   opt_video_codec(tmp2);
opt_video_codec  3829 ffmpeg.c           { "vcodec", HAS_ARG | OPT_VIDEO, {(void*)opt_video_codec}, "force video codec ('copy' to copy stream)", "codec" },
opt_video_codec  4069 ffserver.c                 video_id = opt_video_codec(arg);