Constant FF_PROFILE_MPEG4_ADVANCED_REAL_TIME

Source
pub const FF_PROFILE_MPEG4_ADVANCED_REAL_TIME: u32 = 9; // 9u32