pub const video_codec_profile_AV1PROFILE_PROFILE_HIGH: c_int = 25;