pub const video_codec_profile_H264PROFILE_HIGH10PROFILE: c_int = 4;