Constant AV_PROFILE_H264_STEREO_HIGH 

pub const AV_PROFILE_H264_STEREO_HIGH: c_int = 128;