Constant FF_PROFILE_MPEG4_ADVANCED_REAL_TIME

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